Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . 6b93f.. (4ae4a.. (4ae4a.. 4a7ef..)) (0fc90.. (4ae4a.. (4ae4a.. 4a7ef..)) (λ x2 . If_i (x2 = 4a7ef..) x0 x1))
type
prop
theory
HoTg
name
-
proof
PUTo6..
Megalodon
-
proofgold address
TMRLj..
creator
2774 PrGxv../6b065..
owner
2774 PrGxv../6b065..
term root
a47a6..