Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . 762f0.. x0 x1 x2∀ x3 x4 : ι → ο . 858ff.. x1 x3858ff.. x2 x4∀ x5 x6 . x3 x5d7d78.. x0 x5 x6x4 x6
type
prop
theory
HOAS
name
-
proof
PUS33..
Megalodon
-
proofgold address
TMa1f..
creator
2153 PrGxv../112a4..
owner
2242 PrGxv../bdd0a..
term root
fc7f3..