@hackage / atp-haskell

Translation from Ocaml to Haskell of John Harrison's ATP code

1.14.3

Dependents

@hackage / logic-classes Framework for propositional and first order logic, theorem proving
- Version: 1.7.1
- Last uploaded: 9 years ago
- License: BSD-3-Clause
@hackage / th-context Test instance context
- Version: 0.24
- Last uploaded: 9 years ago
- License: BSD-3-Clause