g4ip-prover-2.0.0.0: Theorem prover for intuitionistic propositional logic using G4ip

Safe HaskellSafe
LanguageHaskell2010

G4ipProver.LaTeXExporter

Description

Exporter for proofs

Synopsis

Documentation

proofToString :: ProofTree Context -> String Source #

Convert proof tree to string

exportContexts :: ProofTree Context -> String Source #

Export contexts from proof tree to string