issues
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
update gitpod
#39
Closed
seewoo5
closed
3 months ago
seewoo5
commented
3 months ago
Steal from
here
Steal from here