Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : g4ip
Package maintainers For package maintainers and hackage trustees Candidates Implementation of a theorem prover for propositional logic using G4ip in Haskell. You can use T, F, /\, \/, ==>, <==, <=>, neg, and () with their usual meanings to form propositions. To form an atom, either use Atom "name" or use one of the predefined atoms: a, b, c, d, e, or f. Here is an example: which prints True as expected ($ if for associativity, you can use parenthesis if you want). Email me at [email protected] for any questions.
Registry
-
Source
- JSON
purl: pkg:hackage/g4ip
Keywords: library, logic, mit
License: MIT
Latest release: about 7 years ago
First release: about 7 years ago
Dependent repositories: 2
Downloads: 957 total
Stars: 1 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 7 days ago