MiladKetabGhale/Protocol_Verification

This repository contains Coq and Haskell resources for verifying counting protocol of elections based on STV scheme