Explore projects

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Fork of the Coq Num Analysis library to test Continuous Integration

scripts for the TACAS 21 paper experiments