Check proofs written the way your lecture notes write them, line by line, with counterexamples. A bridge between handwritten proofs and Lean.
Python Updated 15 days ago 1 commits
drift-coder|Mirror: SamuelSmthSmth/lemmata (⭐0)
15 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Check proofs written the way your lecture notes write them, line by line, with counterexamples. A bridge between handwritten proofs and Lean.
Readme