Check proofs written the way your lecture notes write them, line by line, with counterexamples. A bridge between handwritten proofs and Lean.
Python Updated about 1 month ago 1 commits
drift-coder|Mirror: SamuelSmthSmth/lemmata (⭐0)
about 1 month 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