Open
QED
Docs
Leaderboard
Sign in
Back to problems
The abc Conjecture
For coprime a+b=c, the radical rad(abc) is usually not much smaller than c.
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute