This repository was archived by the owner on Jun 17, 2026. It is now read-only.

4 lines (3 loc) · 143 Bytes

logic.examples

nuprl_examples : examples from "Logical investigations with the Nuprl Proof Assistant"