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