diff options
| author | Josh Chen | 2018-09-18 03:04:37 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-09-18 03:04:37 +0200 |
| commit | dcf87145a1059659099bbecde55973de0d36d43f (patch) | |
| tree | 03707f3dc962e6b762890cff92cb106834b879bc /ex/HoTT book | |
| parent | 49c008ef405ab8d8229ae1d5b0737339ee46e576 (diff) | |
Theories fully reorganized. Well-formedness rules removed. New methods etc.
Diffstat (limited to 'ex/HoTT book')
0 files changed, 0 insertions, 0 deletions