@hackage equational-reasoning0.2.0.6
Proof assistant for Haskell using DataKinds & PolyKinds
Categories
License
BSD-3-Clause
Maintainer
konn.jinro_at_gmail.com
Links
Versions
Installation
Dependencies (5)
- base >=4 && <5
- singletons >=2.0 && <2.1
- tagged >=0.6
- template-haskell >=2.8 && <2.11
- void >=0.6 && <0.8 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.