npflueger/brill-noether-graphs
Lean 4 formalization of miscellaneous results on combinatorial Brill-Noether theory
GitHub repository with 5 stars and 1 forks.
Language: Lean
24h trend summary
Trending score 0.09, freshness score 0.87, stars gained not enough history, forks gained not enough history.
Latest metric snapshot
2026-10-13: 5 stars and 1 forks.