Geeks
VArtem
/
lean-matroids
Formalization of matroid theory in Lean 3
Primary Language
Lean
lean-matroids GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
This repository is not active