PRL

Proof Refinement Logic

See NUPRL.

"PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983.

micro-PRL

lambda-PRL

nu-PRL