Proofgold Proposition

type
prop

theory
HotG

name
complex_i

proof
PUNr2..

Megalodon
complex_i

proofgold address
TMTLt..^complex_i

creator
12547 PrGxv../fe91c..

owner
12547 PrGxv../fe91c..

term root
d6bc3..