Brendan Zabarauskas on Twitter: "@nokusu Enable noclip mode" / Twitter

A new, hidden level of Software Foundations? 😱

Quote Tweet

Verifiable C. ~ Andrew W. Appel, Qinxiang Cao. softwarefoundations.cis.upenn.edu/vc-current/ #eBook #ITP #Coq

This is a DLC

Replying to

Enable noclip mode

Conversation