Logiweb bibliography of proofreport in pyk
Up
Help
[0]
proofreport
[1]
base
The pyk compiler
, version 0.grue.20050603 by
Klaus Grue
,
GRD-2005-07-04.UTC:09:35:58.146674
=
MJD-53555.TAI:09:36:30.146674
=
LGT-4627186590146674e-6