package coq-lin-alg
Linear Algebra
Install
Dune Dependency
Authors
Maintainers
Sources
v8.9.0.tar.gz
md5=91ad67b59d2e256a95f4a9426a353e32
Description
A development of some preliminary linear algebra based on Chapter 1 of "Linear Algebra" by Friedberg, Insel and Spence
Tags
keyword: linear algebra category: Mathematics/Algebra date: 19 spetember 2003Published: 08 Dec 2019
Dependencies (3)
-
coq-algebra
>= "8.9" & < "8.10~" -
coq
>= "8.9" & < "8.10~" - ocaml
Dev Dependencies
None
Used by (1)
-
coq-orb-stab
>= "8.9.0"
Conflicts
None
On This Page