Formalizing Cardano in Isabelle


#1