Calf
Users following calfproject
Cogito Ergo Sum
standardgalactic
๐๐ฐ๐ฎ๐ฆ ๐ฐ๐ง ๐ต๐ฉ๐ฆ ๐๐๐๐๐๐๐๐ ๐ถ๐๐๐๐๐๐๐ ๐ฐ๐๐๐๐๐๐๐
Xanadu Canada
Jonathan Chan
ionathanch
Grad student in PL & former splabmate ยท MSc @ UBC โ PhD @ UPenn
PLClub @ UPenn Vancouver, Canada
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Harrison Grodin
HarrisonGrodin
PhD Student in PL @ CMU CSD
Carnegie Mellon University Pittsburgh, PA