ten-proofs
openai
Lean certificates accompanying proofs in mathematics and theoretical computer science
Home › Language
Lean certificates accompanying proofs in mathematics and theoretical computer science
ATLAS Autoformalized Textbook Library At Scale
Wasm interpreter in lean, designed for reasoning
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
Formally verified polygon intersection