FileSize | 4619912 |
MD5 | 32E50B59F21C9580D0CBEF3B70AB386F |
PackageDescription | algebra and data structure algorithms for Coq
This library provides developments in algebra (including
normal forms of matrices), optimized algorithms on
MathComp data structures, and a data representation change
framework.
.
Coq is a proof assistant for higher-order logic, and MathComp
is a large set of mathematical theories for Coq. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-coqeal |
PackageSection | ocaml |
PackageVersion | 1.1.1-3+b1 |
SHA-1 | 183D9429EF362C09339B607FA0516A544384382B |
SHA-256 | 66F245A8A274404773A9C7A8BCC2011F8D5EA9084E4D4255D2BE4EB9FA59609D |