Proofgold Proposition

add_nat 8 6 = 14

type
prop

theory
HotG

name
-

proof
PUYq4..

Megalodon
-

proofgold address
TMX5S..

creator
15378 Pr4zB../121c9..

owner
15378 Pr4zB../121c9..

term root
3c436..