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