nuprl topic
List
nuprl repositories
sml-redprl
227
Stars
18
Forks
Watchers
The People's Refinement Logic
muprl
32
Stars
1
Forks
Watchers
A small NuPRL style proof assistant