@hackage tip-lib0.2.2
tons of inductive problems - support library and tools
Installation
Dependencies (10)
- array
- base >=4 && <5
- containers
- genifunctors >=0.3
- geniplate-mirror >=0.7.1
- mtl 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).