Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 : ι → ι . λ x2 . prim0 (λ x3 . and (SNo x3) (∀ x4 : ο . (∀ x5 . and (SNo x5) (∀ x6 : ο . (∀ x7 . and (SNo x7) (∀ x8 : ο . (∀ x9 . and (SNo x9) (∀ x10 : ο . (∀ x11 . and (SNo x11) (∀ x12 : ο . (∀ x13 . and (SNo x13) (x2 = bbc71.. (x0 x2) (x1 x2) x3 x5 x7 x9 x11 x13)x12)x12)x10)x10)x8)x8)x6)x6)x4)x4))
as obj
50208..
as prop
-
theory
HotG
stx
9ceb6..
address
TMJZq..