Search for blocks/addresses/...
Proofgold Proposition
SNoCutP
0
0
type
prop
theory
HotG
name
SNoCutP_0_0
proof
PUU9n..
Megalodon
SNoCutP_0_0
proofgold address
TMMq2..
SNoCutP_0_0
creator
4981
Pr6Pc..
/
c186e..
owner
4981
Pr6Pc..
/
c186e..
term root
3b144..