Proofgold Proposition

type
prop

theory
HotG

name
nat_8

proof
PUVhm..

Megalodon
nat_8

proofgold address
TMTak..^nat_8

creator
12595 PrGxv../1d3bd..

owner
12595 PrGxv../1d3bd..

term root
18883..