Logiweb(TM)

Logiweb aspects of 1rule from

Up Help

The predefined "pyk" aspect

define pyk of 1rule from

The predefined "tex" aspect

define tex of 1rule from

The user defined "the statement aspect" aspect

define statement of 1rule from

The user defined "the proof aspect" aspect

define proof of 1rule from

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