GitHub - UniMath/lBsystems: Voevodsky's work on B-systems, transferred from his github account

UniMath / lBsystems Public

Voevodsky's work on B-systems, transferred from his github account

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 56 Commits
.gitignore		.gitignore
Makefile		Makefile
Makefile.bak		Makefile.bak
STid.v		STid.v
S_St.v		S_St.v
S_fun.v		S_fun.v
TS_ST.v		TS_ST.v
T_Tt.v		T_Tt.v
T_fun.v		T_fun.v
dlt.v		dlt.v
for_coq_makefile		for_coq_makefile
hSet_ltowers.v		hSet_ltowers.v
lB.v		lB.v
lB0.v		lB0.v
lB0_non_unital.v		lB0_non_unital.v
lB_carriers.v		lB_carriers.v
lB_non_unital.v		lB_non_unital.v
lB_to_precat.v		lB_to_precat.v
lBsystems.v		lBsystems.v
lBsystems_work.v		lBsystems_work.v
lTowers.v		lTowers.v
ltowers_over.v		ltowers_over.v
prelB.v		prelB.v
prelB_non_unital.v		prelB_non_unital.v
prelim.v		prelim.v