nuprl

There are 1 repository under nuprl topic.

• RedPRL / sml-redprl

  The People's Refinement Logic

  nuprlproof-assistanttype-theorycubical-type-theory
  Language:Standard ML 227

• TOTBWF / muprl

  A small NuPRL style proof assistant

  proof-assistantnuprlcomputational-type-theory
  Language:Haskell 32