diff options
| author | Josh Chen | 2018-09-12 09:25:06 +0200 |
|---|---|---|
| committer | GitHub | 2018-09-12 09:25:06 +0200 |
| commit | bc44abd01b12683e168994dbdd08426c4f6157b9 (patch) | |
| tree | 7f173ec4657ca0db8f6ec404313e4114e9f39584 /ex/HoTT book/Ch1.thy | |
| parent | 0659e06008f2402fde525da71af9226091623313 (diff) | |
Update README.md
Diffstat (limited to 'ex/HoTT book/Ch1.thy')
0 files changed, 0 insertions, 0 deletions