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