https://github.com/dlicata335/hott-agda
Tip revision: 102d4225d49597a9ff28bd7e0e31dda2c5273bb7 authored by ericfinster on 05 May 2014, 17:25:41 UTC
Outline change of base lemmas
Outline change of base lemmas
Tip revision: 102d422
File | Mode | Size |
---|---|---|
computational-interp | ||
homotopy | ||
lib | ||
misc | ||
oldlib | ||
polymorphism | ||
programming | ||
.gitignore | -rw-r--r-- | 84 bytes |
README | -rw-r--r-- | 464 bytes |
badpostulates | -rwxr-xr-x | 232 bytes |