Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ο . 0ac37.. (1216a.. x0 x1) (a4c2a.. x0 (λ x2 . not (x1 x2)) (λ x2 . 15418.. x2 (91630.. (4ae4a.. 4a7ef..))))
as obj
09072..
as prop
-
theory
HoTg
stx
38a69..
address
TMQo6..