@hackage tip-lib0.1

tons of inductive problems - support library and tools

Categories
License
BSD-3-Clause
Maintainer
danr@chalmers.se
Links
Versions
- 0.2.2 Tue, 15 Dec 2015
- 0.2.1 Mon, 16 Nov 2015
- 0.2 Wed, 28 Oct 2015
- 0.1.2 Thu, 11 Jun 2015
- 0.1.1 Thu, 11 Jun 2015
- 0.1 Thu, 16 Jul 2015

Installation
In your cabal file:
Dependencies (8)
- array
- base <0
- containers
- geniplate-mirror >=0.7.1
- mtl
- optparse-applicative
Dependents (1)
@hackage/tip-haskell-frontend

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