autoproof-0.0.0.0: Propositional logic library
The intended entry points into this library are
- AutoProof.Classical, for classical logic, and
- AutoProof.Intuitionistic, for intuitionistic logic.
Please see the README on GitHub at https://github.com/artemmavrin/autoproof#readme
Signatures
Modules