An old formalisation of set theory
setModelScript.sml: An example universe satisfying setSpecTheory
setSpecScript.sml: Zermelo's set theory
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
An old formalisation of set theory
setModelScript.sml: An example universe satisfying setSpecTheory
setSpecScript.sml: Zermelo's set theory