Logiweb(TM)

Logiweb aspects of 1rule to

Up Help

The predefined "pyk" aspect

define pyk of 1rule to

The predefined "tex" aspect

define tex of 1rule to

The user defined "the statement aspect" aspect

define statement of 1rule to

The user defined "the proof aspect" aspect

define proof of 1rule to

The pyk compiler, version 0.grue.20060417+ by Klaus Grue,
GRD-2006-09-15.UTC:09:33:20.992497 = MJD-53993.TAI:09:33:53.992497 = LGT-4665029633992497e-6