diff options
| author | Josh Chen | 2018-08-17 17:37:03 +0200 |
|---|---|---|
| committer | GitHub | 2018-08-17 17:37:03 +0200 |
| commit | 01742e8983e40b2697f4023a7f581731ba6b9848 (patch) | |
| tree | 8de9a6baf713e27885346b617f8442d29e0a7e26 /HoTT_Test.thy | |
| parent | 35d33e72504c0547f35212182e906f06c664d3af (diff) | |
Update README.md
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions