Statistics of Formalizing provable anonymity in Isabelle/HOL

Contact ORBilu