The following pages link to Coquelicot (Q23492):
Displaying 18 items.
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation (Q1663216) (← links)
- A formal proof in Coq of Lasalle's invariance principle (Q1687728) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- The flow of ODEs: formalization of variational equation and Poincaré map (Q1722644) (← links)
- Formally verified approximations of definite integrals (Q1722649) (← links)
- Verified tail bounds for randomized programs (Q1791202) (← links)
- A Coq formalization of Lebesgue integration of nonnegative functions (Q2673304) (← links)
- Free modal Riesz spaces are Archimedean: a syntactic proof (Q2695359) (← links)
- A Formal Proof of Cauchy’s Residue Theorem (Q2829261) (← links)
- Formally Verified Approximations of Definite Integrals (Q2829263) (← links)
- Computational logic: its origins and applications (Q4559535) (← links)
- A Formalization of Properties of Continuous Functions on Closed Intervals (Q5041063) (← links)
- Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis (Q5048989) (← links)
- Validating Mathematical Structures (Q5048998) (← links)
- Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types (Q5094472) (← links)
- (Q5195290) (← links)
- (Q5274886) (← links)
