Search for blocks/addresses/...

Proofgold Object

λ x0 x1 : ο . ∀ x2 : ο . (x0x1x2)x2
type
οοο
theory
HOAS
name
and
definition
PUcHm..
Megalodon
-
proofgold address
TMMJm..
creator
1745 PrGxv../79c6a..
owner
1745 PrGxv../79c6a..
term root
2ba7d..