diff options
| author | Cyril Cohen | 2020-08-11 11:31:11 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-11 11:31:11 +0200 |
| commit | c6051cd2cbd811c59143015884ca643ac753f738 (patch) | |
| tree | b04a62eba37bad1805d5c342700fba45a267d54c /mathcomp/_CoqProject | |
| parent | 60bd08e5b3575a34d8e969c2e4ade40926630143 (diff) | |
| parent | 1e9eda65256af1f60547d067187d33f1d7cc1645 (diff) | |
Merge pull request #507 from pi8027/test-guard-cond
Add more test cases for higher-order recursive functions in seq.v w.r.t. the guard condition
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions