diff options
author | 2018-07-02 15:27:43 -0400 | |
---|---|---|
committer | 2018-07-03 19:28:55 -0400 | |
commit | e122effad97d68aa5c5e0314f49ca57642a77f2c (patch) | |
tree | beb9235700727e2895923ddc0e71fd904a9aa4bc /_CoqProject | |
parent | a1f99932208ea8d40d26bbbe74491174ea195ad1 (diff) |
Factor eval_reduce_square_exact a bit differently
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions