package coq-coqeal-refinements
A refinement framework (for algebra)
Install
Dune Dependency
Authors
Maintainers
Sources
CoqEAL_refinements.0.9.1.tgz
md5=5bb83c00bb33b9b3254f9f3cedae2447
Description
Tags
category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms keyword:Karatsuba multiplication keyword:refinements logpath:CoqEAL_refinementsPublished: 25 Nov 2015
Dependencies (2)
-
coq-coqeal-theory
= version -
coq
>= "8.4pl4" & < "8.5~"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page