Hackage :: [Package]

tip-lib: tons of inductive problems - support library and tools

[ bsd3, library, program, theorem-provers ] [ Propose Tags ]

This package provides a tool for processing inductive theorem proving problems in TIP format (see the homepage for details).

Modules

[Last Documentation]

  • Tip
    • Tip.CallGraph
    • Tip.Core
    • Tip.Fresh
    • Haskell
      • Tip.Haskell.Rename
      • Tip.Haskell.Repr
      • Tip.Haskell.Translate
    • Tip.Lint
    • Tip.Parser
    • Tip.Passes
    • Tip.Pretty
      • Tip.Pretty.Haskell
      • Tip.Pretty.Isabelle
      • Tip.Pretty.SMT
      • Tip.Pretty.Why3
    • Tip.Rename
    • Tip.Scope
    • Tip.Simplify
    • Tip.Types
    • Tip.Utils
      • Tip.Utils.Rename
    • Tip.WorkerWrapper
    • Tip.Writer

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.1.1, 0.1.2, 0.2, 0.2.1, 0.2.2
Dependencies array, base (<0), containers, geniplate-mirror (>=0.7.1), mtl, optparse-applicative, pretty, pretty-show, split, tip-lib [details]
License BSD-3-Clause
Author Dan Rosén, Nick Smallbone
Maintainer danr@chalmers.se
Revised Revision 1 made by AdamBergmark at 2015-07-16T18:08:52Z
Category Theorem Provers
Home page http://tip-org.github.io
Bug tracker http://github.com/tip-org/tools/issues
Source repo head: git clone http://github.com/tip-org/tools
Uploaded by DanRosen at 2015-06-10T15:32:24Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables tip
Downloads 3807 total (15 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-08 [all 6 reports]