Proofs of properties of CBC Casper
See Refinement and Verification of CBC Casper
Document creation requires isabelle as a command line tool. Make sure you have isabelle in your $PATH or set an alias.
Make sure you have a suitable texlive environment installed. Otherwise, LaTeX builds will fail.
Run the build command from a terminal with:
isabelle build -D Isabelle
For reference see also the Isabelle tutorial.