Lean-verified square-packing records, provenance, exact certificates, and an interactive historical archive
Lean Updated 14 days ago 1 commits
axiom-bot|Mirror: chelokot/square-packing-archive (⭐0)
14 days agoAbout
Lean-verified square-packing records, provenance, exact certificates, and an interactive historical archive
Readme