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.

    Paperproof625a85f

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

    mathlibv4.29.0

    The math library of Lean 4