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
Displaying 1-3 of 3 versions of chip-firing-with-lean
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    6 days ago
    Released on March 23, 2026 at 3:05:39PM
    Commit f7ab011 builds on its old leanprover/lean4:v4.27.0-rc1
    v4.27.0-rc1
    2.8 MB Build archive size: 2825251 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v0.1.0
    a year ago
    Released on February 20, 2025 at 5:15:11AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.12.0-rc1
  3. 0.1Version track: 0.1
    0.1.0
    v0.0.1
    a year ago
    Released on December 17, 2024 at 5:34:25PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.12.0-rc1