Proofgold Proposition

add_nat 1 1 = 2

type
prop

theory
HotG

name
add_nat_1_1_2

proof
PUfQZ..

Megalodon
add_nat_1_1_2

proofgold address
TMWAt..^{add_nat_1_1_2}

creator
4898 Pr6Pc../196cc..

owner
4898 Pr6Pc../196cc..

term root
174b8..