Logiweb dictionary of prove

Logiweb dictionary of prove

0 0 prove

1 1 <

2 0 tester1

3 0 tester2

4 0 tester3

5 0 tester4

6 0 tester5

7 0 tester6

8 2 {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