Category Theory in Coq 8.5 (Q5369495)
From MaRDI portal
scientific article; zbMATH DE number 6792363
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Category Theory in Coq 8.5 |
scientific article; zbMATH DE number 6792363 |
Statements
17 October 2017
0 references
category theory
0 references
Coq 8.5
0 references
universe polymorphism
0 references
homotopy type theory
0 references
Category Theory in Coq 8.5 (English)
0 references
