g4ip-prover

Version 2.0.0.0 revision 0 uploaded by klntsky.

Package meta

Synopsis
Theorem prover for intuitionistic propositional logic using G4ip
Description

Theorem prover for intuitionistic propositional logic using G4ip

Author
Josh Acay, Klntsky
Bug reports
n/a
Category
Logic
Copyright
n/a
Homepage
https://github.com/8084/g4ip-prover
Maintainer
klntsky@gmail.com
Package URL
n/a
Stability
n/a

Components