cbc-casper-proof Proofs of properties of CBC Casper Resources CBC Casper paper Isabelle proofs for the old version of CBC Casper