bham-nominal

Pinned Repositories

UniNominalSets
Formalisation of nominal sets in univalent foundations
Language:Coq10
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq00

bham-nominal's Repositories

bham-nominal/UniNominalSets
Formalisation of nominal sets in univalent foundations
Language:Coq1
bham-nominal/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq