Geeks
cplaursen
/
isabelle-hypermap
Formalization of planar hypermaps in Isabelle/HOL
Primary Language
Isabelle
isabelle-hypermap GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
cplaursen
York, UK