diff options
| author | Cyril Cohen | 2020-11-19 20:37:16 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2020-11-20 12:10:46 +0100 |
| commit | 1c03fed9bd5ab57b99405802f17d50ff0888f887 (patch) | |
| tree | cdb93a0167e600545119a390ee1f055265c00264 /docs | |
| parent | 75da4dbbf2fa6ca6ee150d272d3a793bff63c931 (diff) | |
Using Coq 8.10 ssreflect new features
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions