diff options
| author | Kai Stevenson <kai@kaistevenson.com> | 2023-06-13 21:24:31 -0700 |
|---|---|---|
| committer | Kai Stevenson <kai@kaistevenson.com> | 2023-06-13 21:24:31 -0700 |
| commit | c97957b76a6ff95aa413ed5cf1a39ec76aad9a60 (patch) | |
| tree | b78c8bc4dc777b86c8f6bdf6469c29fb357f03bd /src/operetta.h | |
| parent | c427a114bf95620cb9f1b439a8a6e1db14a74fb0 (diff) | |
added implication elim rule
Diffstat (limited to 'src/operetta.h')
0 files changed, 0 insertions, 0 deletions