Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ο . (∀ x1 : ((((ι → ο) → ο) → ο) → ο)((ι → ο) → ο) → ο . (∀ x2 : (((ι → ο) → ο) → ο) → ο . ∀ x3 : ((ι → ο) → ο) → ο . x2 x3x2 (x1 x2))x0)x0
as obj
cfa90..AC_3
as prop
-
theory
HF
stx
a8b20..
address
TMLk3..AC_3