def gt.hd8

bend-osdev-gf@0.1.1.0 · proof_tab.bend:190

import Base

190def gt.hd8() -> {Nat.is_lt(8n, 32n) == True{} : Bool}:
191  {==}