Formalizing chip-firing and Riemann--Roch for graphs in Lean 4
We formalize chip-firing games and the Riemann-Roch theorem on graphs, enabling structured proofs and machine-driven research exploration.
Jun 16, 2026
chipfiring: A Python Package for Efficient Mathematical Analysis of Chip-Firing Games on Multigraphs
A fully-featured Python toolkit for modelling, analysing, and visualising chip-firing games, complete with efficient algorithms and research-grade mathematical utilities.
Aug 1, 2025