Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories
- Ciarán Dunne
- , Joe Wells
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
53
Downloads
(Pure)