Proof: Difference between revisions
J: proof acceptance should be silent
(update haskell example) |
(J: proof acceptance should be silent) |
||
Line 447:
assert (#all) > #;._1 LF,y
assert 0 = # y -.&;: LF,defined,x
assert 0!:
)
|