diff options
| author | Enrico Tassi | 2020-09-11 10:35:45 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-09-11 10:35:45 +0200 |
| commit | 4c35b309ece8c57088dffd7bea0ef7878f1d8d12 (patch) | |
| tree | 6f53f8e664de3bd13c02d0af6c0eb0020385de14 /mathcomp | |
| parent | f3ad9538962cd36d90ea3a6724125f448d7c0b10 (diff) | |
coq 8.13 does not exists yet
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions