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