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
    • Pass
      • Tip.Pass.Booleans
    • Tip.Passes
    • Tip.Pretty
      • Tip.Pretty.Haskell
      • Tip.Pretty.Isabelle
      • Tip.Pretty.SMT
      • Tip.Pretty.TFF
      • Tip.Pretty.Why3
    • Tip.Rename
    • Tip.Scope
    • Tip.Simplify
    • Tip.Types
    • Tip.Utils
      • Tip.Utils.Rename
      • Tip.Utils.Specialiser
    • Tip.WorkerWrapper
    • Tip.Writer

Downloads

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
Change log changelog
Dependencies array, base (>=4 && <5), containers, filepath, genifunctors (>=0.3), geniplate-mirror (>=0.7.1), mtl, optparse-applicative, pretty, split, structural-induction (>=0.3 && <0.4), tip-lib [details]
License BSD-3-Clause
Author Dan Rosén, Nick Smallbone
Maintainer danr@chalmers.se
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(tip-lib)
Uploaded by DanRosen at 2015-10-28T08:34:48Z
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]
Last success reported on 2015-10-30 [all 5 reports]