You can find our Isabelle formalizations here.
To view them in Isabelle you need to install Isabelle 2017 .