Explore projects

Fork of the Coq Num Analysis library to test Continuous Integration

Formal Developments and Proofs in Coq of Numerical Analysis Problems.