File: |
examples/example2.php |
Role: |
Example script |
Content type: |
text/plain |
Description: |
testing EQUALITY (and not equivalence) of formulas |
Class: |
First Order Logic Prop
Manipulate, analyze, and prove logic propositions |
Author: |
By naholyr |
Last change: |
correction of a bug: used static methods that were not |
Date: |
21 years ago |
Size: |
272 bytes |
|
|
|