https://github.com/dlicata335/hott-agda
Tip revision: dccc6507ccd337103e738a113831422f18dd64eb authored by emblack on 07 September 2017, 12:30:12 UTC
updated thesis source file
updated thesis source file
Tip revision: dccc650
| File | Mode | Size |
|---|---|---|
| blakersmassey | ||
| in-progress | ||
| pi2s2 | ||
| pinsn-paper | ||
| scraps | ||
| torus-paper | ||
| Circles.agda | -rw-r--r-- | 3.2 KB |
| EncodeDecode.agda | -rw-r--r-- | 7.7 KB |
| Freudenthal.agda | -rw-r--r-- | 11.1 KB |
| FreudenthalConnected.agda | -rw-r--r-- | 26.7 KB |
| FreudenthalIteratedSuspension1.agda | -rw-r--r-- | 4.0 KB |
| HStructure.agda | -rw-r--r-- | 403 bytes |
| Hopf.agda | -rw-r--r-- | 2.8 KB |
| KG1.agda | -rw-r--r-- | 15.3 KB |
| KGn.agda | -rw-r--r-- | 5.9 KB |
| Pi1Either.agda | -rw-r--r-- | 1.8 KB |
| Pi1S1.agda | -rw-r--r-- | 7.4 KB |
| Pi1S2.agda | -rw-r--r-- | 1.9 KB |
| Pi2HSusp.agda | -rw-r--r-- | 7.3 KB |
| PiKSNLess.agda | -rw-r--r-- | 5.2 KB |
| PiLessOfConnected.agda | -rw-r--r-- | 1.1 KB |
| PiNSN.agda | -rw-r--r-- | 14.1 KB |
| PiSnSusp.agda | -rw-r--r-- | 3.7 KB |
| TS1S1.agda | -rw-r--r-- | 4.3 KB |
| Theorems.agda | -rw-r--r-- | 1008 bytes |
| Whitehead.agda | -rw-r--r-- | 8.5 KB |
