@hackage equational-reasoning0.7.0.2

Proof assistant for Haskell using DataKinds & PolyKinds

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
konn.jinro_at_gmail.com
Links
Versions
- 0.7.0.2 Tue, 26 Dec 2023
- 0.7.0.1 Mon, 20 Mar 2023
- 0.7.0.0 Sun, 6 Jun 2021
- 0.6.0.4 Mon, 18 Jan 2021
- 0.6.0.3 Mon, 18 May 2020
- 0.6.0.2 Thu, 26 Mar 2020

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.

Installation
In your cabal file:
Tested Compilers
Dependencies (5)
- base >=4 && <5
- containers >=0.5 && <0.7
- template-haskell >=2.11 && <2.22
- th-desugar >=1.8 && <1.17
- void >=0.6 && <0.8
Dependents (7)
@hackage/half-space, @hackage/sized, @hackage/manifolds-core, @hackage/manifolds, @hackage/type-natural, @hackage/ghc-typelits-presburger, Show all…

@hackage equational-reasoning0.7.0.2

Categories

License

Maintainer

Links

Versions

Installation

Tested Compilers

Dependencies (5)

Dependents (7)