Search for blocks/addresses/...

Proofgold Object

λ x0 x1 x2 . and (and (and (prim1 x0 a470d..) (prim1 x1 a470d..)) (prim1 x2 (1ad11.. 48ef8.. (4ae4a.. 4a7ef..)))) (36be8.. (bc82c.. x0 (f4dc0.. x1)) x2)
type
ι → ι → ι → ο
theory
HoTg
name
-
definition
PUUTm..
Megalodon
-
proofgold address
TML5J..
creator
4786 PrGxv../14789..
owner
4786 PrGxv../14789..
term root
f824a..