Search for blocks/addresses/...

Proofgold Object

λ x0 x1 x2 . λ x3 x4 : ι → ι → ι . λ x5 : ι → ι → ο . λ x6 x7 . and (x5 x6 x7) (x6 = x7∀ x8 : ο . x8)
type
ιιι(ιιι) → (ιιι) → (ιιο) → ιιο
theory
HotG
name
lt
definition
PUefP..
Megalodon
lt
proofgold address
TMcec..lt
creator
4913 Pr6Pc../39883..
owner
4913 Pr6Pc../39883..
term root
d326e..