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.

    Paperproof0b6c326

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

    mathlibv4.31.0-rc2

    The math library of Lean 4