@hackage equational-reasoning-induction0.6.0.0

Proof assistant for Haskell using DataKinds & PolyKinds

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
konn.jinro_at_gmail.com
Links
Versions
- 0.6.0.0 Fri, 8 Feb 2019

A simple convenient library to write equational / preorder proof as in Agda. This package depends on singletons and generates induction schemes.

Installation
In your cabal file:
Tested Compilers
Dependencies (5)
- base >=4 && <5
- template-haskell >=2.11 && <2.16
- semigroups >=0.18 && <0.19
- singletons
- th-extras >=0.0 && <0.1
Dependents (0)