TSTP proof library
E2188466
UNEXPLORED
The TSTP proof library is a curated collection of machine-generated proofs associated with the TPTP problem library, used for benchmarking and analyzing automated theorem provers.
All labels observed (1)
| Label | Occurrences |
|---|---|
| TSTP proof library canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.