diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-01-26 11:58:22 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-01-26 11:58:22 +0000 |
| commit | 6b31e7c2219565671ede7d7049cd7135f04b0048 (patch) | |
| tree | 2440cdf470cff2063ac15135d4957c578c7f7ca2 /_CoqProject | |
| parent | ab76275ae54166c5fbf7377a33c5552c49bbb854 (diff) | |
| download | vericert-6b31e7c2219565671ede7d7049cd7135f04b0048.tar.gz vericert-6b31e7c2219565671ede7d7049cd7135f04b0048.zip | |
Remove the schedule oracle
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions