diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-12-11 18:58:15 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-12-11 18:58:15 -0500 |
| commit | 340daa051b413c0ae154de2bbe242e931a57f8c6 (patch) | |
| tree | f80e6c89389e99c545ba12e748d5993be2e2a7f5 /_CoqProject | |
| parent | a49d6945893959d894795ce4fcbe6f7238a81ee5 (diff) | |
Add ZRange.is_bounded_by_bool_constant
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions