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-08-24.UTC:08:13:50.904458
=
MJD-53971.TAI:08:14:23.904458
=
LGT-4663124063904458e-6