chop-logic-core
Version:
Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.
| Filename | Content Type | Size | |
|---|---|---|---|
| ../ | |||
| 3.78 kB | |||
| 3.63 kB | |||
| 2.38 kB | |||
| 15.3 kB | |||
| 18.6 kB | |||
| 1.25 kB | |||
| 9.7 kB | |||
| 315 B | |||
Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.
| Filename | Content Type | Size | |
|---|---|---|---|
| ../ | |||
| 3.78 kB | |||
| 3.63 kB | |||
| 2.38 kB | |||
| 15.3 kB | |||
| 18.6 kB | |||
| 1.25 kB | |||
| 9.7 kB | |||
| 315 B | |||