Pages that link to "Item:Q5464655"
From MaRDI portal
The following pages link to Theorem Proving in Higher Order Logics (Q5464655):
Displaying 7 items.
- Using theorem proving to verify expectation and variance for discrete random variables (Q1040780) (← links)
- Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- The gauge integral theory in HOL4 (Q2375421) (← links)
- Three Chapters of Measure Theory in Isabelle/HOL (Q3088003) (← links)
- Liveness Reasoning with Isabelle/HOL (Q3183549) (← links)
- Formal verification of tail distribution bounds in the HOL theorem prover (Q3608329) (← links)