Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . 40dde.. (e4431.. x0) (λ x2 . prim1 x2 x0) (e4431.. x1) (λ x2 . prim1 x2 x1)
as obj
099f3..
as prop
-
theory
HoTg
stx
38a69..
address
TMT1d..