https://github.com/jaycech3n/Isabelle-HoTT
Tip revision: c93932c689640a530de946f35a0a9dc82e56e776 authored by Josh Chen on 18 September 2018, 09:46:04 UTC
Load Univalence by default
Load Univalence by default
Tip revision: c93932c
| File | Mode | Size |
|---|---|---|
| ex | ||
| tests | ||
| .gitignore | -rw-r--r-- | 122 bytes |
| Coprod.thy | -rw-r--r-- | 1.6 KB |
| Empty.thy | -rw-r--r-- | 465 bytes |
| Equal.thy | -rw-r--r-- | 1.5 KB |
| EqualProps.thy | -rw-r--r-- | 5.7 KB |
| HoTT.thy | -rw-r--r-- | 639 bytes |
| HoTT_Base.thy | -rw-r--r-- | 2.6 KB |
| HoTT_Methods.thy | -rw-r--r-- | 2.4 KB |
| LICENSE | -rw-r--r-- | 7.5 KB |
| Nat.thy | -rw-r--r-- | 1.4 KB |
| Prod.thy | -rw-r--r-- | 3.6 KB |
| Proj.thy | -rw-r--r-- | 1.3 KB |
| README.md | -rw-r--r-- | 520 bytes |
| Sum.thy | -rw-r--r-- | 1.9 KB |
| Unit.thy | -rw-r--r-- | 712 bytes |
| Univalence.thy | -rw-r--r-- | 4.0 KB |
