@hackage tip-lib0.2.2

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

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

Installation
In your cabal file:
Dependencies (0)
Dependents (0)