muprl
muprl copied to clipboard
TOTBWF
A small NuPRL style proof assistant
Results
1
muprl issues
Sort by
recently updated
recently updated
newest added
The semantics for NuPRL's types are based off of Partial Equivalence Relations, where `a : A` if `a = a in A` under the associated PER. In short, the types...
