DhyeyMavani2003/chip-firing-with-lean

A formalization of chip-firing games and the Riemann-Roch theorem for graphs using the Lean 4 theorem prover.

GitHub repository with 5 stars and 0 forks.

Language: Lean

Topics: chip-firing, graph-theory, lean4, mathematics, mathlib, number-theory

Open provider repository