Logiweb(TM)

Logiweb codex of prove in pyk

Up Help

ref-0-id-0 prove
ref-0-id-1 <
ref-0-id-2 tester1
ref-0-id-3 tester2
ref-0-id-4 tester3
ref-0-id-5 tester4
ref-0-id-6 tester5
ref-0-id-7 tester6
ref-0-id-8 {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