Proofgold Proposition

type
prop

theory
HotG

name
OSNo_p1_k

proof
PUdK2..

Megalodon
OSNo_p1_k

proofgold address
TMSxD..^OSNo_p1_k

creator
28513 PrQUS../755c8..

owner
28513 PrQUS../755c8..

term root
3ff0b..