folproof
Version:
A first-order logic proof verifier
| Filename | Content Type | Size | |
|---|---|---|---|
| ../ | |||
| 1.13 kB | |||
| 77 B | |||
| 866 B | |||
| 3.59 kB | |||
| 2.61 kB | |||
| 14.4 kB | |||
| 1.76 kB | |||
A first-order logic proof verifier
| Filename | Content Type | Size | |
|---|---|---|---|
| ../ | |||
| 1.13 kB | |||
| 77 B | |||
| 866 B | |||
| 3.59 kB | |||
| 2.61 kB | |||
| 14.4 kB | |||
| 1.76 kB | |||