Geeks
NicolasRouquette
/
YatimaGraphLib
Extracted Yatima's Lean4 Graph as a generic library
Primary Language
Lean
YatimaGraphLib GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
emeinhardt