Skip to content
This repository was archived by the owner on Mar 2, 2025. It is now read-only.
/ libtptp Public archive

Thousands of Problems for Theorem Provers Library

License

View license
1 star 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

casm-lang/libtptp

BranchesTags

Repository files navigation

⚠️ This repository has been archived and its development work moved to the SEA language project.

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

About

Thousands of Problems for Theorem Provers Library

Topics

cpp11 automated cpp-library theorem libtptp proving

Resources

Readme

License

View license
Activity
Custom properties

Stars

1 star

Watchers

2 watching

Forks

0 forks
Report repository

Releases

6 tags

Packages

No packages published

Languages