[all packages]
[class hierarchy]
[index]
package G4ip

- public class Context
Contexts act as multiset.
- public class Form
Class for propositional formulae.
- public class Parser
A left-to-right, rightmost-derivation parser.
- public class ProofDisplay
Draws a frame on the screen containing a proof.
- public class Prover
The Gi4p prover.
- public class ProverApplet
The applet for the prover.
- public class Sequent
An intuitionistic sequent of the form
"Gamma => G".
- public class Token
[all packages]
[class hierarchy]
[index]
G4ip.html