Study Verifiable Knowledge at Scale
BUILD & RESEARCH
Projects and research from the CloK community.
BUILD · LEARNING CODE VERIFICATION
A community collection of code examples, comparing the performance of implementations that satisfy the same specification. The examples help us learn how to specify and verify code (Open Source from Day 1). AI tools are used in preparing parts of the documentation and code.
BUILD · VERIFIED DSI INFRASTRUCTURE
Community notes for an emerging verified decentralized superintelligence system (Open Source from Day 1). AI tools are used extensively to write the documentation and develop the code. Please contact the creator directly for an accurate account of the project's current progress.
RESEARCH · Research project
Making formal verification as readable as possible through a case study of Hessenberg digraphs.
UPDATES
Writing and perspectives from friends of CloK.
As SI accelerates mathematical discovery and software production beyond human comprehension, the authors argue that formal verification must become public infrastructure and a national mission.
On formal mathematics as epistemic infrastructure, and the engineering and cultural systems needed to store, discover, govern, and reuse it.
A speculative letter about mathematical truth, understanding, and a future in which SI produces proofs that people can certify but no longer comprehend. With a preface by Jeremy Avigad.
OUR VISION
Across millennia, humanity has carried knowledge through memory, writing, machines, and networks. Follow the story of how we learn, preserve, and build upon what came before.
