Logiweb bibliography of prove in pyk
Up
Help
[0]
prove
[1]
base
[2]
check
[3]
kvanti
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
