Search for blocks/addresses/...
Proofgold Proposition
SNo
(
minus_SNo
omega
)
type
prop
theory
HotG
name
SNo_momega
proof
PUK1b..
Megalodon
SNo_momega
proofgold address
TMQGD..
SNo_momega
creator
4949
Pr6Pc..
/
e47a8..
owner
4949
Pr6Pc..
/
e47a8..
term root
9682b..