rm released -> branch

released/README.md

-# Numerical Analysis in Coq
-
-Formal Developments and Proofs in Coq of Numerical Analysis Problems.
-
-**Authors**: Aubry, Boldo, Clément, Faissole, Leclerc, Martin, Mayero, Mouhcine
-
-Directory for releases. 

released/coq-num-analysis-1.0.0/README.md

-# Numerical Analysis in Coq
-
-Formal Developments and Proofs in Coq of Numerical Analysis Problems.
-
-**Authors**: Aubry, Boldo, Clément, Faissole, Leclerc, Martin, Mayero, Mouhcine
-
-This archive includes several Coq developments:
-
-* *Lebesgue* directory is about the Lebesgue Integration of Nonnegative
-Functions [ (see paper) ](https://hal.inria.fr/hal-03471095v1)
-and Tonelli theorem [ (see paper) ](https://hal.inria.fr/hal-03564379v1)
-
-* *Lebesgue/bochner_integral* directory is about the Bochner integral
-[ (see paper) ](https://hal.inria.fr/hal-03516749v1)
-
-* *LM* directory is about the Lax–Milgram theorem
-[ (see paper) ](https://hal.inria.fr/hal-01391578v1)
-