Skip to content

Latest commit

 

History

History
64 lines (56 loc) · 3.2 KB

README.org

File metadata and controls

64 lines (56 loc) · 3.2 KB
Raw

https://github.com/casm-lang/casm-lang.logo/raw/master/etc/headline.png

libtptp: Thousands of Problems for Theorem Provers Library

https://img.shields.io/badge/discussion-Q&A-blue.svg?logo=github https://github.com/casm-lang/libtptp/workflows/build/badge.svg https://github.com/casm-lang/libtptp/workflows/nightly/badge.svg https://codecov.io/gh/casm-lang/libtptp/badge.svg https://img.shields.io/github/tag/casm-lang/libtptp.svg?logo=github&sort=semver https://img.shields.io/badge/license-GPLv3%2BLE-blue.svg?logo=gnu

TBD

Copyright and License

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”).