Chip-Firing with Lean 4 #
Source: url:https://github.com/dhyeymavani2003/chip-firing-with-lean
Authors: Dhyey Dharmendrakumar Mavani, Nathan Pflueger
Status: verified
Main declarations: ChipFiring.Propositions.riemann_roch, ChipFiring.Propositions.clifford
Tags: combinatorics
MSC: 05C57, 14T20