redprl

Proof assistant for Nominal Computational Type Theory

Blocked by failed dependencies; not queued for a build.

No build output for this package in this campaign. Open a dependency's failure log below.

Planning log · 15 Sep 08:59 · This campaign

Blocking dependencies