Geeks
argumentcomputer
/
Graph.lean
A graph library in Lean 4
MIT License
MIT
Graph.lean GitHub
Markdown
Readme
0
Issues
3
Stargazers
6
Watchers
Stargazers
arthurpaulino
Brazil
mpenciak
New York City
Anderssorby
Norway