package coq-num-analysis
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page