22 citations · 75 across the 21 of their papers we have counts for
1 paper · 1 filter
Zuzana Haniková, Štěpán Holub
The axiomatization of the theory of hereditarily finite sets in first-order classical logic is systematically explored and formalized in Isabelle/HOL. The formalization uses a hier…