Proofgold Proposition

prim1 (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))))) (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))))))

type
prop

theory
HoTg

name
-

proof
PUKrN..

Megalodon
-

proofgold address
TMLvs..

creator
2749 PrGxv../f511f..

owner
2749 PrGxv../f511f..

term root
2aab7..