Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . c2e41.. (b5c9f.. (4ae4a.. (4ae4a.. 4a7ef..)) x0) (e5b72.. x0)
type
prop
theory
HoTg
name
-
proof
PUWmM..
Megalodon
-
proofgold address
TMUu2..
creator
4838 PrGxv../ebd14..
owner
4838 PrGxv../ebd14..
term root
0108b..