GitHub repository: seewoo5/lean-poly-abc
Primary language: Lean
Description: Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4