Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ο . ∀ x2 : ο . (∀ x3 . and (∀ x4 . iff (x1 x4) (prim1 x4 x3)) (prim1 x3 x0)x2)x2
as obj
33353..
as prop
-
theory
HoTg
stx
e27bb..
address
TMGRA..decode_c