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 | |
|---|---|---|---|
| ../ | |||
| 7.22 kB | |||
| 6.03 kB | |||
| 54.9 kB | |||
| 1.65 kB | |||
| 67.2 kB | |||
| 113 B | |||
| 64.7 kB | |||
Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.
| Filename | Content Type | Size | |
|---|---|---|---|
| ../ | |||
| 7.22 kB | |||
| 6.03 kB | |||
| 54.9 kB | |||
| 1.65 kB | |||
| 67.2 kB | |||
| 113 B | |||
| 64.7 kB | |||