Search for blocks/addresses/...
Proofgold Term Root Disambiguation
wceq
cgzr
(
cmpt
(
λ x0 .
cfv
com
cfmla
)
(
λ x0 .
co
(
cgol
(
cgox
(
cgol
(
co
(
cgol
(
cv
x0
)
c1o
)
(
co
c2o
c1o
cgoq
)
cgoi
)
c2o
)
c1o
)
c3o
)
(
cgol
(
cgol
(
co
(
co
c2o
c1o
cgoe
)
(
cgox
(
co
(
co
c3o
c0
cgoe
)
(
cgol
(
cv
x0
)
c1o
)
cgoa
)
c3o
)
cgob
)
c2o
)
c1o
)
cgoi
)
)
as obj
-
as prop
f179b..
theory
SetMM
stx
81cee..
address
TMErN..