Search for blocks/addresses/...
Proofgold Proposition
setsum
0
0
=
0
type
prop
theory
HotG
name
setsum_0_0
proof
PUMB7..
Megalodon
setsum_0_0
proofgold address
TMHtD..
setsum_0_0
creator
4898
Pr6Pc..
/
41869..
owner
4898
Pr6Pc..
/
41869..
term root
5dcae..