Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . (∀ x1 . ∀ x2 : ο . (∀ x3 . x0 x1 x3x2)x2)∀ x1 : ο . (∀ x2 : ι → ι . (∀ x3 . x0 x3 (x2 x3))x1)x1
as obj
-
as prop
99a65..Skolem_0
theory
HF
stx
a8b20..
address
TMFHf..Skolem_0