Přihlaste se účtem své organizace prostřednictvím eduID.
Seminář / přednáška Formalizing fragments of ZFfin in Isabelle/HOL.
