seewoo5/lean-poly-abc seewoo5/lean-poly-abc

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language Lean
  • Created over 1 year ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
seewoo5/lean-poly-abc
github

seewoo5

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4

More Repositories

1

KT

Knowledge Tracing Models with PyTorch
Python
86
star
2

awesome-number-theory

A list of awesome number theory resources
22
star
3

posqmf

Supplementary Sage codes for the paper "Algebraic proof of modular form inequalities for optimal sphere packings"
Jupyter Notebook
4
star
4

math-notes

TeX-ed notes for personal study
TeX
1
star
5

seewoo5.github.io

https://seewoo5.github.io/
HTML
1
star