TBD
The copyright holder of
libtptp is the CASM organization (@casm-lang)
and the used license of
libtptp is the GNU GPLv3+
with an additional permission (“GPL Linking Exception”).
Thousands of Problems for Theorem Provers Library
TBD
The copyright holder of
libtptp is the CASM organization (@casm-lang)
and the used license of
libtptp is the GNU GPLv3+
with an additional permission (“GPL Linking Exception”).