diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-06-03 20:52:49 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-03 18:52:49 -0500 |
| commit | 418b0281e62a6b657da32f6504965269ad90c18b (patch) | |
| tree | 246d51e833789cf5620cdcb46d22bf57ff1b1000 /THANKS | |
| parent | b19d246d75be92a0189b9aaacc71426395b8c098 (diff) | |
(proof-new) Adding rules and proof checker for EUF (#4559)
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions