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

Directory listing for g4ip-prover-0.1.0.0 source tarball

g4ip-prover-0.1.0.0/

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