msakai/logic-TPTP
Import, export etc. for TPTP, a syntax for first-order logic
Public GitHub Catalog
Discovered Nov 2, 2026
msakai / Proper
Propositional logic theorem prover in Haskell
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#49434861GitHub System ID
msakaiOrganization / User
PublicVisibility
ActiveCatalog Status
More from msakai
msakai/mios
Misinat-based Implementation and Optimization Study on SAT Solver in Haskell
msakai/DifferenceLogic
A theory solver for difference logic
msakai/Smooth
A small SMT solver in Haskell