Formalization of Wu's Simple Method in Coq
No abstract available.
DOI 10.1007/978-3-642-25379-9_8
Related papers
- Teaching Experience: Logic and Formal Methods with Coq CPP 2011
- Semantic cut elimination for the logic of bunched implications, formalized in Coq CPP 2022
- A Coq formal proof of the LaxMilgram theorem CPP 2017
- HOπ in Coq CPP 2018
- Generating good generators for inductive relations POPL 2018
- Reasoning about the garden of forking paths ICFP 2021
- Completeness and decidability of converse PDL in the constructive type theory of Coq CPP 2018
- CertRL: formalizing convergence proofs for value and policy iteration in Coq CPP 2021