Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 : ι → ι → ο . (∀ x2 x3 . x0 x2 x3x1 x2 x3)∀ x2 x3 . 8e91b.. x0 x2 x38e91b.. x1 x2 x3
type
prop
theory
HOAS
name
-
proof
PULLz..
Megalodon
-
proofgold address
TMbzi..
creator
1880 PrGxv../72da0..
owner
1880 PrGxv../72da0..
term root
6cb16..