https://github.com/HoTT/HoTT-Agda
History
Tip revision: 1037d82edcf29b620677a311dcfd4fc2ade2faa6 authored by Tim Baumann on 19 February 2019, 15:14:28 UTC
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

README.md

back to top