nuprl

There are 2 repositories under nuprl topic.

RedPRL/sml-redprl
The People's Refinement Logic
Language:Standard ML227 32 30918
TOTBWF/muprl
A small NuPRL style proof assistant
Language:Haskell32 3 11