#

nuprl

Here are 2 public repositories matching this topic...

RedPRL / sml-redprl

The People's Refinement Logic

nuprl proof-assistant type-theory cubical-type-theory

Updated Jan 1, 2023
Standard ML

TOTBWF / muprl

A small NuPRL style proof assistant

nuprl proof-assistant computational-type-theory

Updated Jan 31, 2019
Haskell

Improve this page

Add a description, image, and links to the nuprl topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the nuprl topic, visit your repo's landing page and select "manage topics."