def verdict

import ezx@1.11.0.0/src/ez/prove.bend as Prove

import Base

68# the one line a proof passes on
69def verdict() -> String:
70  "ALL PROOFS CHECK"

Uses (1)