Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . 0ac37.. x0 (94f9e.. x0 (λ x1 . 15418.. x1 (91630.. (4ae4a.. 4a7ef..))))
as obj
472ec..
as prop
-
theory
HoTg
stx
38a69..
address
TMEwp..