Euclid's Elements in Lean, sentence by sentence: Heath's text, Euclid-following proofs, a certificate, and commentary.
Python Updated 14 days ago 1 commits
echo-ai|Mirror: dodecaplex-co/stoicheia (⭐0)
14 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Euclid's Elements in Lean, sentence by sentence: Heath's text, Euclid-following proofs, a certificate, and commentary.
Readme