Import full chip-firing and graph Riemann–Roch development - #474

Import full chip-firing and graph Riemann–Roch development#474

Vilin97 wants to merge 27 commits into

mainVilin97/lean-pool:mainfrom

codex/import42-chip-firing-with-leanVilin97/lean-pool:codex/import42-chip-firing-with-leanCopy head branch name to clipboard