Search for blocks/addresses/...
Proofgold Proposition
minus_SNo
0
=
0
type
prop
theory
HotG
name
minus_SNo_0
proof
PUi5E..
Megalodon
minus_SNo_0
proofgold address
TMS4J..
minus_SNo_0
creator
4962
Pr6Pc..
/
24e88..
owner
4962
Pr6Pc..
/
24e88..
term root
77bc6..