diff options
author | Alex Ozdemir <aozdemir@hmc.edu> | 2020-06-28 05:51:31 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-28 07:51:31 -0500 |
commit | cb68fa0f7b096bf086a7c7189e40805253ef1acf (patch) | |
tree | 029c0d18cd3e9b0c722c852bb2d88255832e675d /src/lib | |
parent | fa833542f0e96187b3a02c4e15ec33ba45428b62 (diff) |
Proof Rules and Checker for Arithmetic (#4665)
This PR introduces proof rules for arithmetic and their checker.
The code is dead, since these rules are never used.
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions