@hackage equational-reasoning-induction0.6.0.0
Proof assistant for Haskell using DataKinds & PolyKinds
Categories
License
BSD-3-Clause
Maintainer
konn.jinro_at_gmail.com
Links
Versions
- 0.6.0.0 Fri, 8 Feb 2019
Installation
Tested Compilers
Dependencies (5)
- base >=4 && <5
- semigroups >=0.18 && <0.19
- singletons
- template-haskell >=2.11 && <2.16
- th-extras >=0.0 && <0.1 Show all…
Dependents (0)
A simple convenient library to write equational / preorder proof as in Agda. This package depends on singletons and generates induction schemes.