Wikipedia · test · AMS 11
easyknown result, no worker yet
Congruent Number
Exercise · congruentNumber_5
The rational right triangle with side lengths , , and witnesses that is a congruent number.
Formal statement · Lean 4.lean
theorem congruentNumber_5 : congruentNumber 5 := by
sorryProof. sorry
Nobody has tried yet.