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
🚧 WIP: cleanup
#8
Closed
seewoo5
closed
1 year ago
jcpaik
commented
1 year ago
이거 못보고 #10 해버림
이거 못보고 #10 해버림