max/cubical-transport-hott-lean4
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions
12 commits 3 branches 0 tags 2.1 MiB

Default branch

main
Some checks failed
Lean Action CI / build (push) Has been cancelled
Details

915b7b3b68 · REL2 plan: interval primitive → Bridge → K7 cubical encoding · Updated 2026-04-30 19:36:58 -05:00
 ZIP  TAR.GZ

Branches

Dev_REL2
Some checks failed
Lean Action CI / build (push) Has been cancelled
Details

391a048dcf · Layer 3.3a: substantive unit/counit + typed-correctness for adjoint triple · Updated 2026-05-06 07:32:39 -05:00    max

0
32
 ZIP  TAR.GZ
Dev_REL1
Some checks failed
Lean Action CI / build (push) Has been cancelled
Details

915b7b3b68 · REL2 plan: interval primitive → Bridge → K7 cubical encoding · Updated 2026-04-30 19:36:58 -05:00    max

0
0
 Included
 ZIP  TAR.GZ