Giters

artemmavrin / autoproof

Intuitionistic and classical propositional logic library

Home Page:https://artemmavrin.github.io/autoproof

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

automated-theorem-provingnatural-deductionproof-searchintuitionistic-logicsequent-calculusclassical-logicpropositional-logic

AutoProof

test docs codecov GitHub last commit

A work-in-progress propositional logic library.

About

Intuitionistic and classical propositional logic library

https://artemmavrin.github.io/autoproof

automated-theorem-provingnatural-deductionproof-searchintuitionistic-logicsequent-calculusclassical-logicpropositional-logic

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 100.0%