Proofgold Proposition

add_nat 32 5 = 37

type
prop

theory
HotG

name
-

proof
PUKRi..

Megalodon
-

proofgold address
TMJEy..

creator
15508 Pr4zB../20b02..

owner
15508 Pr4zB../20b02..

term root
f0ce1..