Proofgold Proposition

type
prop

theory
HotG

name
nat_3

proof
PUTEc..

Megalodon
nat_3

proofgold address
TMQXc..^nat_3

creator
4947 Pr6Pc../1ebb4..

owner
4947 Pr6Pc../1ebb4..

term root
c0849..