Geeks
bham-nominal
/
UniNominalSets
Formalisation of nominal sets in univalent foundations
Primary Language
Coq
UniNominalSets GitHub
Markdown
Readme
2
Issues
1
Stargazer
5
Watchers
Stargazers
nmvdw