chip-firing-with-lean0.1.0
A formalization of chip-firing games and the Riemann-Roch theorem for graphs using the Lean 4 theorem prover.
1-5 of 5 versions of chip-firing-with-lean
Sort by
Date
- 0.1
0.1.0v4.31.0-rc22.6 MB - 0.1
0.1.0v4.31.0-rc2v4.31.0-rc2 - 0.1
0.1.0v1.0.0v4.29.02.6 MB - 0.1
0.1.0v0.1.0v4.12.0-rc1 - 0.1
0.1.0v0.0.1v4.12.0-rc1