Logiweb aspects of var y in pyk

Up Help

The user defined "the proof aspect" aspect

define proof of var y as lambda var c dot lambda var x dot proof expand quote var x infer var z end quote state proof state cache var c end expand end define