@hackage / logic-classes

Framework for propositional and first order logic, theorem proving

1.7.1

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / cabal-debian Create a Debianization for a Cabal package
- Version: 5.5
- Last uploaded: 4 months ago
- License: BSD-3-Clause