GitHub repository: Davetbutler/formalising-mpc-isabelle
Primary language: Isabelle
Created: 2021-02-24T19:35:21Z
Description: Formalisation of MPC in Isabelle/HOL