`[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