Proofgold Proposition

add_nat 2 2 = 4

type
prop

theory
HotG

name
-

proof
PUXp3..

Megalodon
-

proofgold address
TMJ7Y..

creator
14944 Pr4zB../c84f3..

owner
14944 Pr4zB../c84f3..

term root
a056e..