@hackage / equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

0.7.1.0

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / computational-algebra Well-kinded computational algebra library, currently supporting Groebner basis.
- Version: 0.5.1.0
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / ghc-typelits-presburger Presburger Arithmetic Solver for GHC Type-level natural numbers.
- Version: 0.7.4.2
- Last uploaded: 11 months ago
- License: BSD-3-Clause
@hackage / half-space Additive monoids generalising vector spaces
- Version: 0.1.1.0
- Last uploaded: 3 years ago
- License: GPL-3.0-only
@hackage / manifolds Coordinate-free hypersurfaces
- Version: 0.6.1.0
- Last uploaded: 3 years ago
- License: GPL-3.0-only
@hackage / manifolds-core The basic classes for the manifolds hierarchy.
- Version: 0.6.1.1
- Last uploaded: about 1 year ago
- License: GPL-3.0-only
@hackage / singletons-presburger Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
- Version: 0.7.4.1
- Last uploaded: 11 months ago
- License: BSD-3-Clause
@hackage / sized Sized sequence data-types
- Version: 1.1.0.2
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / sized-vector Size-parameterized vector types and functions.
- Version: 1.4.3.1
- Last uploaded: 10 years ago
- License: BSD-3-Clause
@hackage / type-natural Type-level natural and proofs of their properties.
- Version: 1.3.0.2
- Last uploaded: about 1 year ago
- License: BSD-3-Clause