Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : (ι → ι) → ο . ∀ x1 : (ι → ι) → ι . ∀ x2 : ο . (∀ x3 . (∀ x4 : ι → ι . x0 x4x4 x3 = x1 x4)x2)x2
as obj
f8922..
as prop
-
theory
HoTg
stx
336f4..
address
TMYTk..