Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . True
as obj
bb8e6..
as prop
-
theory
HOAS
stx
ca03b..
address
TMNrg..