Logiweb aspects of verify one {MissingArg} end verify in pyk

Up Help

The predefined "pyk" aspect

define pyk of verify one x end verify as text unicode start of text unicode small v unicode small e unicode small r unicode small i unicode small f unicode small y unicode space unicode small o unicode small n unicode small e unicode space unicode quotation mark unicode space unicode small e unicode small n unicode small d unicode space unicode small v unicode small e unicode small r unicode small i unicode small f unicode small y unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of verify one var c end verify as text unicode start of text unicode newline unicode left brace unicode backslash unicode small c unicode small a unicode small l unicode space unicode capital v unicode right brace unicode underscore unicode one unicode left parenthesis unicode space unicode number sign unicode one unicode period unicode newline unicode right parenthesis unicode end of text end unicode text end text end define

The predefined "value" aspect

define value of verify one var c end verify as newline let one lambda var r dot newline let one lambda var x dot newline let one lambda var p dot newline let one lambda var d dot newline tagged if not var d then var d else newline let one lambda var i dot newline tagged if not var i is cardinal then true else newline error two quote unicode start of text unicode capital c unicode small i unicode small r unicode small c unicode small u unicode small l unicode small a unicode small r unicode space unicode small p unicode small r unicode small o unicode small o unicode small f unicode period unicode space unicode capital c unicode small i unicode small r unicode small c unicode small l unicode small e unicode space unicode small i unicode small n unicode small c unicode small l unicode small u unicode small d unicode small e unicode small s unicode colon unicode end of text end unicode text end quote term var p assoc var i end assoc zeroth head end error end if apply verify five var c ref var r array var p sequents var p end verify end let end if apply verify three var c ref var r sequents var p diagnose true end verify end let apply verify two var c proofs var x end verify end let apply var c assoc var r end assoc assoc codex hook end assoc assoc var r end assoc end let apply var c assoc zero end assoc end let end define