diff options
| author | Pierre-Marie Pédrot | 2018-10-01 13:07:27 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-01 13:07:27 +0200 |
| commit | 6a800b15ebd26131f59605e9c8cdcd5bfec15f0d (patch) | |
| tree | 6e7b522bb4bfb3cfdb32f35bf91eb8d586e2939c /dev | |
| parent | 9134d94d42bafd38dfcc6a09a99edd554e636b55 (diff) | |
| parent | f20beb1f9fe9661ad8192c578339ea8f8b897d18 (diff) | |
Merge PR #517: Some lemmas about dependent equality
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions