Open
QED
Docs
Leaderboard
Sign in
Back to problems
Perfect Cuboid Problem
Does there exist a rectangular box with integer edges, face diagonals, and space diagonal?
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute