diff options
| author | Anton Trunov | 2020-05-06 21:47:15 +0300 |
|---|---|---|
| committer | Anton Trunov | 2020-05-06 21:47:15 +0300 |
| commit | ed0803efd1c8418c54dcde1255db110e1f2e648d (patch) | |
| tree | 2f25b3a249c4fd2287c9962cec236bc06fc9c1d2 /dev/ci/docker/bionic_coq | |
| parent | bc79d319d38f766a6b7bbeb1f1071b046642089b (diff) | |
| parent | 90b7d578afc59c6deb1666223659207fe226b725 (diff) | |
Merge PR #12018: Adding properties about implb in Bool.v
Ack-by: Blaisorblade
Reviewed-by: anton-trunov
Diffstat (limited to 'dev/ci/docker/bionic_coq')
0 files changed, 0 insertions, 0 deletions