Agerholm S, Gordon M. Experiments with ZF Set Theory in HOL and Isabelle. BRICS [Internet]. 1995 Jun. 7 [cited 2024 Apr. 27];2(37). Available from: https://tidsskrift.dk/brics/article/view/19940