Logiweb(TM)

Logiweb aspects of proof state in pyk

Up Help

The predefined "pyk" aspect

define pyk of proof state as text unicode start of text unicode small p unicode small r unicode small o unicode small o unicode small f unicode space unicode small s unicode small t unicode small a unicode small t unicode small e unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of proof state as text unicode start of text unicode newline unicode small p unicode underscore unicode zero unicode end of text end unicode text end text end define

The predefined "value" aspect

define value of proof state as map tag lambda var t dot lambda var s dot lambda var c dot proof expand var t state var s cache var c end expand end tag pair true end define

The pyk compiler, version 0.grue.20050502+ by Klaus Grue,
GRD-2005-05-26.UTC:06:49:32.964854 = MJD-53516.TAI:06:50:04.964854 = LGT-4623807004964854e-6