Logiweb bibliography of equivalence-relations in pyk
Up
Help
[0] equivalence-relations
[1] base
[2] check
The pyk compiler,
version 0.grue.20060417+ by
Klaus Grue,
GRD-2006-06-22.UTC:06:16:07.249053
=
MJD-53908.TAI:06:16:40.249053
=
LGT-4657673800249053e-6