HigherCategoryTheory0.1.0
A formal verification project based on the work by Enric Cosme Llópez on "Higher-order categories".
1-1 of 1 versions of HigherCategoryTheory
Sort by
Date
- 0.1
0.1.00.1.1v4.28.04.3 MB
HigherCategoryTheory0.1.00.1.0