Skip to content

Commit ba042d2

Browse files
benediktahrensbenediktahrens
authored
Merge pull request #195 from tvignon/type_former_on_SplTCwF
Sigma, Pi and Identity Types structure over the "middle structure"
2 parents 8dcc96b + 44de425 commit ba042d2

File tree

2 files changed

+1225
-1
lines changed

2 files changed

+1225
-1
lines changed

‎TypeTheory/TypeConstructions/.package/files‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,4 @@
1-
CwF_Structure_Display.v
21
CwF_SplitTypeCat_TypeEquiv.v
2+
SplTCwF_TypeFormers.v
3+
CwF_Structure_Display.v
4+

0 commit comments

Comments
 (0)