Proofgold Proposition

add_nat 41 24 = 65

type
prop

theory
HotG

name
-

proof
PUaaV..

Megalodon
-

proofgold address
TMNS6..

creator
15574 Pr4zB../f262e..

owner
15574 Pr4zB../f262e..

term root
2d32a..