##
Logiweb aspects of proof in pyk

Up
Help

###
The "pyk" aspect

Define pyk of proof as "proof" end define

###
The "tex" aspect

Define tex of proof as "

proof" end define

###
The "value" aspect

define value of proof as norm "proof/kg" end define

###
The "message" aspect

define message of proof as "proof/kg" end define

The pyk compiler,
version 0.1.9 by
Klaus Grue,

GRD-2007-07-12.UTC:20:11:58.175987
=
MJD-54293.TAI:20:12:31.175987
=
LGT-4690987951175987e-6