Bubblyworld / drfol-reasoner Public

Entailment checking for Defeasible Restricted First-Order Logic (DRFOL).

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
dist-newstyle/cache		dist-newstyle/cache
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
drfol-reasoner.cabal		drfol-reasoner.cabal
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock