Search for blocks/addresses/...

Proofgold Term Root Disambiguation

wceq casin (cmpt (λ x0 . cc) (λ x0 . co (cneg ci) (cfv (co (co ci (cv x0) cmul) (cfv (co c1 (co (cv x0) c2 cexp) cmin) csqrt) caddc) clog) cmul))
as obj
-
as prop
78feb..
theory
SetMM
stx
d5570..
address
TMHVc..