@hackage tip-lib0.1.1
tons of inductive problems - support library and tools
Installation
Dependencies (8)
- array
- base >=4 && <5
- containers
- geniplate-mirror >=0.7.1
- mtl
- optparse-applicative Show all…
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).