diff options
| author |  jadep <jadep@mit.edu> | 2019-03-12 15:53:08 -0400 |
|---|---|---|
| committer |  jadephilipoom <jade.philipoom@gmail.com> | 2019-03-26 08:35:33 -0400 |
| commit | b18cfd89e1e8760185d9f50dd777c1c8096cf807 (patch) | |
| tree | cab07339dfdc665a2f71491aad714252f2006a54 /_CoqProject | |
| parent | a201b0a8e525cab5c3cb019ccd707b7367aa3ecc (diff) | |
improve zero_bounds tactic
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions