Proofgold Proposition

add_nat 1 1 = 2

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
add_nat_1_1_2

proofgold address
TMTbt..^{add_nat_1_1_2}

creator
2277 PrGxv../d7100..

owner
2277 PrGxv../d7100..

term root
0c1ad..