Study of Chip-Firing games and how different combinations of directed and undirected edges affect its winning strategies.
-
Updated
Feb 22, 2023 - Python
Study of Chip-Firing games and how different combinations of directed and undirected edges affect its winning strategies.
A formalization of chip-firing games and the Riemann-Roch theorem for graphs using the Lean 4 theorem prover.
Code associated to the 3D Chip-Firing Publication
Add a description, image, and links to the chip-firing topic page so that developers can more easily learn about it.
To associate your repository with the chip-firing topic, visit your repo's landing page and select "manage topics."