## Recently Uploaded Packages

base-1.218 — The standard theory library

Uploaded 2 weeks ago by Joe Leslie-Hurd

list-1.107 — List types

Uploaded 2 weeks ago by Joe Leslie-Hurd

natural-1.111 — The natural numbers

Uploaded 2 weeks ago by Joe Leslie-Hurd

base-1.217 — The standard theory library

Uploaded 2 months ago by Joe Leslie-Hurd

set-1.82 — Set types

Uploaded 2 months ago by Joe Leslie-Hurd

base-1.216 — The standard theory library

Uploaded 3 months ago by Joe Leslie-Hurd

natural-1.110 — The natural numbers

Uploaded 3 months ago by Joe Leslie-Hurd

base-1.215 — The standard theory library

Uploaded 4 months ago by Joe Leslie-Hurd

natural-1.109 — The natural numbers

Uploaded 4 months ago by Joe Leslie-Hurd

base-1.214 — The standard theory library

Uploaded 5 months ago by Joe Leslie-Hurd