Search for blocks/addresses/...
Proofgold Proposition
pair_p
=
tuple_p
2
type
prop
theory
HotG
name
pair_p_tuple2
proof
PUdQg..
Megalodon
pair_p_tuple2
proofgold address
TMPDL..
pair_p_tuple2
creator
4899
Pr6Pc..
/
e60eb..
owner
4899
Pr6Pc..
/
e60eb..
term root
edb4f..