Proofgold Proposition

∀ x0 . a34bf.. x0 ⟶ x0 = 79551.. (f482f.. x0 4a7ef..) (decode_c (f482f.. x0 (4ae4a.. 4a7ef..))) (e3162.. (f482f.. x0 (4ae4a.. (4ae4a.. 4a7ef..)))) (f482f.. (f482f.. x0 (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))) (f482f.. (f482f.. x0 (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))))

type
prop

theory
HoTg

name
-

proof
PUZgx..

Megalodon
-

proofgold address
TMMnh..

creator
2840 PrGxv../ff656..

owner
2840 PrGxv../ff656..

term root
b0082..