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-4 of 4 versions of chip-firing-with-lean
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    v1.0.0
    a month ago
    Released on April 1, 2026 at 11:10:32PM
    Commit b624c3f builds on its old leanprover/lean4:v4.29.0
    v4.29.0
    2.6 MB Build archive size: 2646984 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v1.0.0
    a month ago
    Released on April 1, 2026 at 11:10:32PM
    Commit b624c3f builds on its old leanprover/lean4:v4.29.0
    v4.29.0
    2.6 MB Build archive size: 2646984 bytes.
  3. 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
  4. 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