[Mathematics Thesis] Lean4 Machine Assisted Proof Framework for Chip Firing Game & Graphical Riemann-Roch
We formalize chip-firing games and the Riemann-Roch theorem on graphs, enabling structured proofs and machine-driven research exploration.
Apr 15, 2025
![[Mathematics Thesis] Lean4 Machine Assisted Proof Framework for Chip Firing Game & Graphical Riemann-Roch](/publication/math-thesis-lean/featured_hu1980786614645573733.webp)