Computer-checkable proofs and recorded checks for research on eight Erdős problems. Papers and current claims: wcook04/plectis-erdos.
Lean Updated 12 days ago 1 commits 1 stars
zenith-bot|Mirror: wcook04/plectis-erdos-lean (⭐1)
12 days agoAbout
Computer-checkable proofs and recorded checks for research on eight Erdős problems. Papers and current claims: wcook04/plectis-erdos.
Readme
1 stars
1 forks