Adding eq_symmetric rule
Compare changes
Files
2- Haniel Barbosa authored
+ 7
− 3
@@ -7,6 +7,10 @@ Proof rules:
@@ -47,9 +51,9 @@ command.
This adds a new rule used to elaborate implicity reasoning with equality symmetry. This addresses issue #43 (closed).