Logiweb diagnose of peano

Up Help

Unchecked sidecondition: [ [ ẋ ˙+ ˙0 ] =^{p} [ ẋ ] ≡⟨ [ ȧ ˙+ ˙0 ] =^{p} [ ȧ ] |ȧ := ẋ⟩ ]

The pyk compiler, version 0.grue.20050502+ by Klaus Grue GRD-2005-06-02.UTC:10:16:52.703168 = MJD-53523.TAI:10:17:24.703168 = LGT-4624424244703168e-6