casm-lang/libtptp 📦

Thousands of Problems for Theorem Provers Library

Language: C++ - Size: 1.58 MB - Last synced at: 20 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0