Ciarán Dunne | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Fairouz Kamareddine
3 publications
J. B. Wells
2 publications

research

∙ 07/25/2022

Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories

A generalized set theory (GST) is like a standard set theory but also ca...

0 Ciarán Dunne, et al. ∙

research

∙ 05/28/2020

Adding an Abstraction Barrier to ZF Set Theory

Much mathematical writing exists that is, explicitly or implicitly, base...

0 Ciarán Dunne, et al. ∙