Euclid's Elements in Lean, sentence by sentence: Heath's text, Euclid-following proofs, a certificate, and commentary.
Lean Updated 4 days ago 1 commits
drift-coder|Mirror: jackChallis/stoicheia (⭐0)
4 days agoAbout
Euclid's Elements in Lean, sentence by sentence: Heath's text, Euclid-following proofs, a certificate, and commentary.
Readme