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