Lib.rs

›

#problem #theorem #thousands #proving #automated #theorem-prover #provers

yanked libtptp

was Owned by Philipp Paulweber.

1 unstable release

0.0.0	Apr 1, 2022

#10 in #thousands

Custom license

15KB

Thousands of Problems for Theorem Provers (TPTP) Library

No runtime deps