@hackage equational-reasoning dependents
10 results
@hackage/acme-everything
Install everything.
@hackage/computational-algebra
Well-kinded computational algebra library, currently supporting Groebner basis.
@hackage/ghc-typelits-presburger
Presburger Arithmetic Solver for GHC Type-level natural numbers.
@hackage/half-space
Additive monoids generalising vector spaces
@hackage/manifolds
Coordinate-free hypersurfaces
@hackage/manifolds-core
The basic classes for the manifolds hierarchy.
@hackage/singletons-presburger
Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
@hackage/sized
Sized sequence data-types
@hackage/sized-vector
Size-parameterized vector types and functions.
@hackage/type-natural
Type-level natural and proofs of their properties.