diff options
| author | Brian Campbell | 2019-04-17 18:30:40 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-04-17 18:30:49 +0100 |
| commit | 9e0f58f27966bf606bdc3ec06972bc294fbd362b (patch) | |
| tree | 1fbc86b26f9e948f8b462721c88677257c2fc8a0 /lib | |
| parent | ba9894513af0c9b122be0af1afce37ef52d49116 (diff) | |
Coq: support pure loops with termination measures
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions