seewoo5/lean-poly-abc

Stars
8
Rank 2,087,621 (Top 42 %)
Language Lean
Created over 1 year ago
Updated 2 months ago

seewoo5/lean-poly-abc

seewoo5

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

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

KT

Knowledge Tracing Models with PyTorch

awesome-number-theory

A list of awesome number theory resources

posqmf

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

Jupyter Notebook

math-notes

TeX-ed notes for personal study

seewoo5.github.io

https://seewoo5.github.io/