Proofgold Proposition

∀ x0 . aeb79.. x0 ⟶ x0 = e0851.. (f482f.. x0 4a7ef..) (decode_c (f482f.. x0 (4ae4a.. 4a7ef..))) (e3162.. (f482f.. x0 (4ae4a.. (4ae4a.. 4a7ef..)))) (f482f.. (f482f.. x0 (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))) (2b2e3.. (f482f.. x0 (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))))

type
prop

theory
HoTg

name
-

proof
PUZgx..

Megalodon
-

proofgold address
TMYrp..

creator
2840 PrGxv../9d3bc..

owner
2840 PrGxv../9d3bc..

term root
ff0bd..