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

True Davenport's theorem with no coprimality #57

Closed jcpaik closed 2 weeks ago

jcpaik commented 2 weeks ago

Also make API changes etc