Proofgold Proposition

∀ x0 . 3d094.. x0 ⟶ x0 = 38265.. (f482f.. x0 4a7ef..) (decode_c (f482f.. x0 (4ae4a.. 4a7ef..))) (e3162.. (f482f.. x0 (4ae4a.. (4ae4a.. 4a7ef..)))) (2b2e3.. (f482f.. x0 (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))) (2b2e3.. (f482f.. x0 (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))))

type
prop

theory
HoTg

name
-

proof
PUbF9..

Megalodon
-

proofgold address
TMN2r..

creator
2896 PrGxv../da7e0..

owner
2896 PrGxv../da7e0..

term root
610eb..