Search for blocks/addresses/...
Proofgold Proposition
conj_CSNo
Complex_i
=
minus_CSNo
Complex_i
type
prop
theory
HotG
name
conj_CSNo_i
proof
PUQvq..
Megalodon
conj_CSNo_i
proofgold address
TMbUv..
conj_CSNo_i
creator
28444
PrQUS..
/
42bf7..
owner
28444
PrQUS..
/
42bf7..
term root
b1755..