Proofgold Proposition

type
prop

theory
HotG

name
Re_1

proof
PUQvq..

Megalodon
Re_1

proofgold address
TMQTd..^Re_1

creator
28444 PrQUS../bcf9e..

owner
28444 PrQUS../bcf9e..

term root
df187..