• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for g4ip-prover-2.0.0.0 candidate source tarball

g4ip-prover-2.0.0.0/

• LICENSE
• README-ru.md
• README.md
• Setup.hs
• g4ip-prover.cabal
• g4ip.png
• src/
  • G4ipProver.hs
  • Main.hs
  • G4ipProver/
    • LaTeXExporter.hs
    • Parser.y
    • Proposition.hs
    • Prover.hs
• static/
  • context-footer.txt
  • context-header.txt
  • proof-footer.txt
  • proof-header.txt
• test/
  • Main.hs