Fintie Sets in Cubical Agda
An implementation of the type of finite sets in Cubical Agda based on the Coq formalisation.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Fintie Sets in Cubical Agda
An implementation of the type of finite sets in Cubical Agda based on the Coq formalisation.