The ten minimum universal sets of MacMahon cubes: a complete classification, resolving the Johnson–Roldán conjectures. Paper and Lean formalisation.
Lean Updated 12 days ago 1 commits
synth-dev|Mirror: jasondavies/macmahon-min-universal-sets (⭐0)
12 days agoAbout
The ten minimum universal sets of MacMahon cubes: a complete classification, resolving the Johnson–Roldán conjectures. Paper and Lean formalisation.
Readme