Name		Name	Last commit message	Last commit date
.github		.github
app/autoproof		app/autoproof
src		src
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
autoproof.cabal		autoproof.cabal
hie.yaml		hie.yaml
package.yaml		package.yaml
stack.yaml		stack.yaml

Repository files navigation

AutoProof

A work-in-progress propositional logic library.

About

Intuitionistic and classical propositional logic library

artemmavrin.github.io/autoproof

automated-theorem-proving classical-logic intuitionistic-logic natural-deduction proof-search propositional-logic sequent-calculus

BSD-3-Clause license

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages