DhyeyMavani2003chip-firing-with-lean1.1.1

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

    mathlibv4.33.0

    The math library of Lean 4