package rocq-num-analysis

Overview
Doc

You can search for identifiers within the package.

in-package search v0.2.0

Numerical analysis in Rocq

Install

Dune Dependency

lipn.univ-paris13.fr Edit opam file Versions (1)

Authors

Maintainers

M

MILC project <milc@inria.fr>

Description

Meta-package grouping rocq-num-analysis-lebesgue, rocq-num-analysis-lax-milgram and rocq-num-analysis-fem.

Published: 23 Jun 2025

Dependencies (3)

rocq-num-analysis-fem = version
rocq-num-analysis-lax-milgram = version
rocq-num-analysis-lebesgue = version

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (3)
Dev Dependencies
Used by
Conflicts