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..