Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : ι → (ι → ο) → ο . λ x1 . λ x2 : ι → ο . ∀ x3 . prim1 x3 x1∀ x4 : ι → ο . 8356a.. x0 x3 x440dde.. x3 x4 x1 x2
as obj
6f2c4..
as prop
-
theory
HoTg
stx
7f654..
address
TMF9P..