https://github.com/jaycech3n/Isabelle-HoTT
Revision 62c1c8f306bff84b74b3b1c935d0d6722e1251a2 authored by Josh Chen on 27 May 2020, 19:31:35 UTC, committed by Josh Chen on 27 May 2020, 19:31:35 UTC
1 parent ec7dcd5
Tip revision: 62c1c8f306bff84b74b3b1c935d0d6722e1251a2 authored by Josh Chen on 27 May 2020, 19:31:35 UTC
1. Define Maybe in terms of other types. 2. Move More_Types to Spartan
1. Define Maybe in terms of other types. 2. Move More_Types to Spartan
Tip revision: 62c1c8f
| File | Mode | Size |
|---|---|---|
| hott | ||
| spartan | ||
| .gitignore | -rw-r--r-- | 20 bytes |
| LICENSE | -rw-r--r-- | 9.7 KB |
| README.md | -rw-r--r-- | 1.3 KB |
| ROOT | -rw-r--r-- | 983 bytes |
Computing file changes ...
