Numerical Analysis in Coq
Formal Developments and Proofs in Coq of Numerical Analysis Problems.
Authors: Aubry, Boldo, Clément, Faissole, Leclerc, Martin, Mayero, Mouhcine
Select Git revision
rocq-num-analysis
François Clément authored
| Name | Last commit | Last update |
|---|---|---|
| FiniteDim | ||
| LM | ||
| Lebesgue | ||
| .gitignore | ||
| README.md |