Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . f482f.. (0fc90.. (4ae4a.. (4ae4a.. 4a7ef..)) (λ x3 . If_i (x3 = 4a7ef..) x0 x1)) (4ae4a.. 4a7ef..) = x1
type
prop
theory
HoTg
name
-
proof
PUTo6..
Megalodon
-
proofgold address
TMYxH..
creator
2774 PrGxv../6b7d8..
owner
2774 PrGxv../6b7d8..
term root
327f4..