DhyeyMavani2003chip-firing-with-lean0.1.0

A formalization of chip-firing games and the Riemann-Roch theorem for graphs using the Lean 4 theorem prover.
#math
Sort by
  1. Git dependency.
    Found on Reservoir.

    Paperprooffea2a7c

    Lean theorem proving interface which feels like pen-and-paper proofs.
  2. Registry dependency.
    Found on Reservoir.

    mathlib08d60a8

    The math library of Lean 4