jcreedcmu/Noperthedron

The Noperthedron does not have Rupert Property: a proof in Lean4

GitHub repository with 16 stars and 3 forks.

Language: Lean

Topics: lean4, noperthedron, rupert

Open provider repository