Voevodsky's work on B-systems, transferred from his github account
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
Makefile
Makefile.bak
STid.v
S_St.v
S_fun.v
TS_ST.v
T_Tt.v
T_fun.v
dlt.v
for_coq_makefile
hSet_ltowers.v
lB.v
lB0.v
lB0_non_unital.v
lB_carriers.v
lB_non_unital.v
lB_to_precat.v
lBsystems.v
lBsystems_work.v
lTowers.v
ltowers_over.v
prelB.v
prelB_non_unital.v
prelim.v