Computer Verified Exact Analysis
Published on Feb 4, 20258439 Views
This tutorial will illustrate how to use the Coq proof assistant to implement effective and provably correct computation for analysis. Coq provides a dependently typed functional programming language
