Geeks
Trebor-Huang
/
ZFC
An embedding of ZFC into Agda
Primary Language
Agda
ZFC GitHub
Markdown
Readme
1
Issue
14
Stargazers
2
Watchers
Watchers
eemailme
Trebor-Huang
Internal cat of a doughnut