Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ο . (not x0x0)x0
type
prop
theory
HF
name
-
proof
PUUci..
Megalodon
keepcopy
proofgold address
TMdg8..keepcopy
creator
1149 PrGxv../6c319..
owner
1149 PrGxv../6c319..
term root
d4c09..