search

seewoo5 / lean-poly-abc

Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4
8 stars 0 forks source link

Make Max3 -> Nat.Max3 simpler #50

Closed jcpaik closed 3 months ago