Search for blocks/addresses/...
Proofgold Proposition
Subq
0
1
type
prop
theory
HF
name
-
proof
PUTdW..
Megalodon
Subq_0_1
proofgold address
TMNca..
Subq_0_1
creator
1473
PrGxv..
/
d7be1..
owner
1473
PrGxv..
/
d7be1..
term root
c10e9..