Logiweb source of proofreport
Up
Actual source
Reverse engineered source.
Help
The pyk compiler
, version 0.grue.20050603 by
Klaus Grue
,
GRD-2005-07-04.UTC:13:01:21.823959
=
MJD-53555.TAI:13:01:53.823959
=
LGT-4627198913823959e-6
