Logiweb dictionary of prop calc

Up Help

0 0 prop calc

1 0 T_{P} 2 0 A1 3 0 A2 4 0 A3 5 2 ∗ ⇒ ∗

The pyk compiler, version 0.grue.20050502 by Klaus Grue GRD-2005-06-05.UTC:08:46:27.673984 = MJD-53526.TAI:08:46:59.673984 = LGT-4624678019673984e-6