Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : ι → ι → ι → ι → ι → ι → ι . ∀ x1 : (ι → ι → ι → ι → ι → ι → ι) → ο . x1 (λ x2 x3 x4 x5 x6 x7 . x2)x1 (λ x2 x3 x4 x5 x6 x7 . x3)x1 (λ x2 x3 x4 x5 x6 x7 . x4)x1 (λ x2 x3 x4 x5 x6 x7 . x5)x1 (λ x2 x3 x4 x5 x6 x7 . x6)x1 x0
as obj
a4ee9..
as prop
-
theory
HotG
stx
acac8..
address
TMUBD..