VDict mobile
Dictionary - Translation



Proof Refinement Logic.
Versions: micro-PRL, lambda-PRL, nu-PRL.
["PRL: Proof Refinement Logic Programmer's Manual", CS Dept,
Cornell, 1983].
(1995-01-24)
© Vdict mobile
Switch to smart phone version   |   Switch to PC version