Explore projects

Fork of the Coq Num Analysis library to test Continuous Integration

scripts for the TACAS 21 paper experiments

Formal Developments and Proofs in Coq of Numerical Analysis Problems.