Explore projects
-
Fork of the Coq Num Analysis library to test Continuous Integration
Updated -
Formal Developments and Proofs in Coq of Numerical Analysis Problems.
Updated -
Updated
-
Updated
-
Updated
Fork of the Coq Num Analysis library to test Continuous Integration
Formal Developments and Proofs in Coq of Numerical Analysis Problems.