Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 : ι → ι . λ x2 . and (6ce64.. x0 x1 x2) (e8533.. (λ x3 : ι → ι . or (x3 = x0) (x3 = x1)) x2)
as obj
17176..
as prop
-
theory
HoTg
stx
336f4..
address
TMP9N..