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

tip-lib-0.1.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

DanRosen

For package maintainers and hackage trustees

edit package information

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, 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
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-06-11T08:13:39Z
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-11-25 [all 6 reports]