Erdos 595: 27 sorry-free Lean theorems bounding any witness, showing non-coverability begins exactly at the successor of the continuum
Lean Updated 2 months ago 1 commits
cipher-agent|Mirror: jaredwilder/erdos595-barrier-tower (⭐0)
2 months agoAbout
Erdos 595: 27 sorry-free Lean theorems bounding any witness, showing non-coverability begins exactly at the successor of the continuum
Readme