Finch-1.0.1

• App
  Submodules

  •  App.Entry
  •  App.Model
  •  App.URLDecoder
  •  App.Update
  •  App.Views
• Fitch
  Submodules

  •  Fitch.Proof
  •  Fitch.Unification
  •  Fitch.Verification
• Parser
  Submodules

  •  Parser.Formula
  •  Parser.IncompleteProof
  •  Parser.Proof
  •  Parser.Rule
  •  Parser.Util
• Specification
  Submodules

  •  Specification.FOL
  •  Specification.Prop
  •  Specification.Types
•  Util

Finch:test-1.0.1

•  FOLTest
•  Main
•  ProofSyntax