package coq-num-analysis
Numerical Analysis in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
coq-num-analysis-1.0.tar.gz
sha256=c230cb37b61e3b9de8619b66e470981ba986a4009c6e9dda0d3958d0858df40a
Description
Tags
category:Mathematics/Real Calculus and Topology keyword:real analysis keyword:Lax-Milgram theorem keyword:Lebesgue integration keyword:Tonelli theorem keyword:Bochner integration logpath:Lebesgue logpath:LM date:2022-09-06Published: 06 Sep 2022
Dependencies (4)
-
coq-flocq
>= "4.1.0" -
coq-coquelicot
= "3.2.0" -
coq-mathcomp-ssreflect
>= "1.15.0" -
coq
>= "8.15.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page