Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . and (69b7e.. x0 x1) (93c99.. x1 (λ x2 . λ x3 : ι → ι → ι . 93c99.. x0 (λ x4 . λ x5 : ι → ι → ι . a0fbb.. x2 x3 x4)))
as obj
21582..
as prop
-
theory
HoTg
stx
4b82f..
address
TMKct..