Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . ∀ x2 : ι → ι . ∀ x3 . ∀ x4 : ι → ι → ι . explicit_Nats x0 x1 x2∀ x5 . prim1 x5 x0∀ x6 . a813b.. x0 x1 x2 x3 x4 (x2 x5) x6∀ x7 : ο . (∀ x8 . and (x6 = x4 x5 x8) (a813b.. x0 x1 x2 x3 x4 x5 x8)x7)x7
type
prop
theory
HoTg
name
-
proof
PUVC9..
Megalodon
-
proofgold address
TMVfE..
creator
4672 PrGxv../f6c19..
owner
4672 PrGxv../f6c19..
term root
2611c..