## Recently Uploaded Packages

base-1.213 — The standard theory library

Uploaded 2 months ago by Joe Leslie-Hurd

pair-1.30 — Product types

Uploaded 2 months ago by Joe Leslie-Hurd

base-1.212 — The standard theory library

Uploaded 3 months ago by Joe Leslie-Hurd

natural-1.108 — The natural numbers

Uploaded 3 months ago by Joe Leslie-Hurd

base-1.211 — The standard theory library

Uploaded 8 months ago by Joe Leslie-Hurd

set-1.81 — Set types

Uploaded 8 months ago by Joe Leslie-Hurd

base-1.210 — The standard theory library

Uploaded 13 months ago by Joe Leslie-Hurd

set-1.80 — Set types

Uploaded 13 months ago by Joe Leslie-Hurd

base-1.209 — The standard theory library

Uploaded 16 months ago by Joe Leslie-Hurd

set-1.79 — Set types

Uploaded 16 months ago by Joe Leslie-Hurd