Archives of this repository and a version of Isabelle/UTP for the paper to RAMiCS2021

This includes two archives: one is the ramics2021 branch of this repository and another is a version of Isabelle/UTP (based on Isabelle2019), as references for our paper "Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving" submitted to RAMiCS2021.

Archives of this repository and a version of Isabelle/UTP for a paper submitted to RAMiCS2021

This includes two archives: one is the ramics2021 branch of this repository and another is a version of Isabelle/UTP (based on Isabelle2019), as references for our paper "Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving" submitted to RAMiCS2021.