This repository formalises and verifies the CVM algorithm in the Isabelle proof assistant, as presented in the ITP 2025 paper "Verification of the CVM algorithm with a Functional Probabilistic Invariant".
-
Notifications
You must be signed in to change notification settings - Fork 0
Code repository for the ITP 2025 paper "Verification of the CVM algorithm with a Functional Probabilistic Invariant"
License
joewatt95/CVM
About
Code repository for the ITP 2025 paper "Verification of the CVM algorithm with a Functional Probabilistic Invariant"
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published