https://github.com/HoTT/HoTT-Agda
Tip revision: 1037d82edcf29b620677a311dcfd4fc2ade2faa6 authored by Tim Baumann on 19 February 2019, 15:14:28 UTC
Cup Products, stage 2 (#47)
Cup Products, stage 2 (#47)
Tip revision: 1037d82
File | Mode | Size |
---|---|---|
core | ||
old | ||
test | ||
theorems | ||
travis-script | ||
.gitignore | -rw-r--r-- | 200 bytes |
.travis.yml | -rw-r--r-- | 1.3 KB |
ACKNOWLEDGMENTS.md | -rw-r--r-- | 454 bytes |
LICENSE.md | -rw-r--r-- | 1.2 KB |
README.md | -rw-r--r-- | 24.4 KB |
findpostulates | -rwxr-xr-x | 1.2 KB |
hott-core.agda-lib | -rw-r--r-- | 30 bytes |
hott-test.agda-lib | -rw-r--r-- | 48 bytes |
hott-theorems.agda-lib | -rw-r--r-- | 56 bytes |