https://github.com/jaycech3n/Isabelle-HoTT
Revision 0bceaa97dfc4899ec2489dc3f2cd2ea11f5ae358 authored by Josh Chen on 20 September 2018, 12:14:17 UTC, committed by Josh Chen on 20 September 2018, 12:14:17 UTC
1 parent 19eb191
Tip revision: 0bceaa97dfc4899ec2489dc3f2cd2ea11f5ae358 authored by Josh Chen on 20 September 2018, 12:14:17 UTC
Application should bind tighter than composition
Application should bind tighter than composition
Tip revision: 0bceaa9
| File | Mode | Size |
|---|---|---|
| ex | ||
| tests | ||
| .gitignore | -rw-r--r-- | 122 bytes |
| Coprod.thy | -rw-r--r-- | 1.5 KB |
| Empty.thy | -rw-r--r-- | 465 bytes |
| Equal.thy | -rw-r--r-- | 1.5 KB |
| Equality.thy | -rw-r--r-- | 9.5 KB |
| HoTT.thy | -rw-r--r-- | 644 bytes |
| HoTT_Base.thy | -rw-r--r-- | 2.7 KB |
| HoTT_Methods.thy | -rw-r--r-- | 2.4 KB |
| LICENSE | -rw-r--r-- | 7.5 KB |
| Nat.thy | -rw-r--r-- | 1.3 KB |
| Prod.thy | -rw-r--r-- | 3.6 KB |
| Projections.thy | -rw-r--r-- | 1.3 KB |
| README.md | -rw-r--r-- | 520 bytes |
| ROOT | -rw-r--r-- | 653 bytes |
| Sum.thy | -rw-r--r-- | 1.8 KB |
| Unit.thy | -rw-r--r-- | 712 bytes |
| Univalence.thy | -rw-r--r-- | 4.0 KB |
Computing file changes ...
