Proofgold Proposition

type
prop

theory
HotG

name
CSNo_0

proof
PUQvq..

Megalodon
CSNo_0

proofgold address
TMccn..^CSNo_0

creator
28444 PrQUS../9863c..

owner
28444 PrQUS../9863c..

term root
77c1b..