hackage.haskell.org : judge
An implementation of a decision procedure for classical propositional logic and justification logic.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/judge
Keywords:
gpl
, library
, logic
, program
, Propose Tags
License: GPL-3.0-only
Latest release: over 7 years ago
First release: over 7 years ago
Dependent repositories: 1
Downloads: 1,212 total
Stars: 1 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 23 days ago
Loading...
Readme
Loading...