Logiweb codex of prove in pyk
Up
Help
ref-0-id-0
prove
ref-0-id-1
<
ref-0-id-2
tester1
ref-0-id-3
tester2
ref-0-id-4
tester3
ref-0-id-5
tester4
ref-0-id-6
tester5
ref-0-id-7
tester6
ref-0-id-8
{MissingArg} <
The pyk compiler
, version 0.grue.20060417+ by
Klaus Grue
,
GRD-2006-12-07.UTC:17:24:53.972444
=
MJD-54076.TAI:17:25:26.972444
=
LGT-4672229126972444e-6