@hackage equational-reasoning0.6.0.2
Proof assistant for Haskell using DataKinds & PolyKinds
Categories
License
BSD-3-Clause
Maintainer
konn.jinro_at_gmail.com
Links
Versions
Installation
Tested Compilers
Dependencies (7)
- base >=4 && <5
- containers >=0.5 && <0.7
- semigroups >=0.18 && <0.19
- template-haskell >=2.11 && <2.16
- th-desugar >=1.8 && <1.12
- th-extras >=0.0 && <0.1 Show all…
Dependents (10)
@hackage/half-space, @hackage/sized, @hackage/manifolds-core, @hackage/acme-everything, @hackage/manifolds, @hackage/sized-vector, Show all…
A simple convenient library to write equational / preorder proof as in Agda.
Since 0.6.0.0, this no longer depends on singletons package, and the Proof.Induction module goes to equational-reasoning-induction package.