Search for blocks/addresses/...
Proofgold Proposition
CSNo_Im
Complex_i
=
1
type
prop
theory
HotG
name
Im_i
proof
PUi5E..
Megalodon
Im_i
proofgold address
TMV23..
Im_i
creator
4962
Pr6Pc..
/
88a78..
owner
4962
Pr6Pc..
/
88a78..
term root
1795c..