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