Search for blocks/addresses/...
Proofgold Proposition
CSNo_Re
Complex_i
=
0
type
prop
theory
HotG
name
Re_i
proof
PUi5E..
Megalodon
Re_i
proofgold address
TMWVm..
Re_i
creator
4962
Pr6Pc..
/
cf9b2..
owner
4962
Pr6Pc..
/
cf9b2..
term root
8f12f..