Search for blocks/addresses/...

Proofgold Object

λ x0 x1 : ο . and (x0x1) (x1x0)
type
οοο
theory
HOAS
name
iff
definition
PUcHm..
Megalodon
-
proofgold address
TMH6V..
creator
1745 PrGxv../4fc75..
owner
1745 PrGxv../4fc75..
term root
98aaa..