https://github.com/jaycech3n/Isabelle-HoTT
Tip revision: f0999d07a0f41284ba84fae725a0186e0ec9ff5f authored by Josh Chen on 12 September 2018, 07:10:08 UTC
Final commit before first release
Final commit before first release
Tip revision: f0999d0
| File | Mode | Size |
|---|---|---|
| ex | ||
| tests | ||
| .gitignore | -rw-r--r-- | 122 bytes |
| Coprod.thy | -rw-r--r-- | 1.9 KB |
| Empty.thy | -rw-r--r-- | 563 bytes |
| Equal.thy | -rw-r--r-- | 1.9 KB |
| EqualProps.thy | -rw-r--r-- | 12.8 KB |
| HoTT.thy | -rw-r--r-- | 646 bytes |
| HoTT_Base.thy | -rw-r--r-- | 2.9 KB |
| HoTT_Methods.thy | -rw-r--r-- | 2.2 KB |
| LICENSE | -rw-r--r-- | 7.5 KB |
| Nat.thy | -rw-r--r-- | 1.4 KB |
| Prod.thy | -rw-r--r-- | 3.5 KB |
| ProdProps.thy | -rw-r--r-- | 2.1 KB |
| Proj.thy | -rw-r--r-- | 1.7 KB |
| README.md | -rw-r--r-- | 1.0 KB |
| Sum.thy | -rw-r--r-- | 2.1 KB |
| Unit.thy | -rw-r--r-- | 777 bytes |
| Univalence.thy | -rw-r--r-- | 7.0 KB |
