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.
RESEARCH · Preprint
Mapping the dependency structure of Mathlib.
BUILD · VISUALIZER
Explore the dependency structure of public Lean projects.
BUILD · PUBLISHING
Read and publish mathematics as a network of connected statements.