Home
DCC eCatalog
T.__Santen
A Structure Preserving Encoding of Z in Isabelle/HOL
