Geeks
ioannad
/
NBG_HOL
A formalisation of NBG set theory in Isabelle/HOL
Primary Language
Isabelle
NBG_HOL GitHub
Markdown
Readme
0
Issues
6
Stargazers
1
Watcher
Stargazers
faezs
Quetta, Pakistan
jaycech3n
ndcroos
verybusybusiness
pqnelson
Los Angeles, CA