Proofgold Proposition

add_nat 2 1 = 3

type
prop

theory
HotG

name
-

proof
PUXp3..

Megalodon
-

proofgold address
TMRdr..

creator
14944 Pr4zB../ea363..

owner
14944 Pr4zB../ea363..

term root
8bd16..