Katoomba Scenic Railway

Recently Uploaded Packages

base-1.207 — The standard theory library
Uploaded 8 days ago by Joe Leslie-Hurd

set-1.77 — Set types
Uploaded 8 days ago by Joe Leslie-Hurd

base-1.206 — The standard theory library
Uploaded 6 weeks ago by Joe Leslie-Hurd

list-1.105 — List types
Uploaded 6 weeks ago by Joe Leslie-Hurd

base-1.205 — The standard theory library
Uploaded 3 months ago by Joe Leslie-Hurd

relation-1.62 — Relation operators
Uploaded 3 months ago by Joe Leslie-Hurd

natural-1.106 — The natural numbers
Uploaded 3 months ago by Joe Leslie-Hurd

base-1.204 — The standard theory library
Uploaded 5 months ago by Joe Leslie-Hurd

set-1.76 — Set types
Uploaded 5 months ago by Joe Leslie-Hurd

hol-base-1.2 — HOL basic theories
Uploaded 7 months ago by HOL OpenTheory Packager