Proofgold Proposition

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
nat_1

proofgold address
TMYrK..^nat_1

creator
1473 PrGxv../f7522..

owner
1473 PrGxv../f7522..

term root
8d353..