Ciarán Dunne
zermelo44
AI & ML interests
interactive theorem proving, set theory, higher-order logic
Organizations
models
None public yet
datasets
None public yet