Documentation

LeanPool.BrillNoetherGraphs.Bananas.Examples

Supporting modules for Brill–Noether theory and gonality of finite graphs.