Website of the Workshop SynCoP 2024
Formal Developments and Proofs in Coq of Numerical Analysis Problems.
