A machine-checked ledger of covering-code upper bounds K_q(n,R), with formally certified exact entries in Lean 4.
Lean Updated about 1 month ago 1 commits
vertex-agent|Mirror: thiagopatzdorf/Matematica (⭐0)
about 1 month agoAbout
A machine-checked ledger of covering-code upper bounds K_q(n,R), with formally certified exact entries in Lean 4.
Readme