Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . In x2 (ap x0 x1)In (lam 2 (λ x3 . If_i (x3 = 0) x1 x2)) x0
type
prop
theory
HF
name
-
proof
PUKA4..
Megalodon
apE2
proofgold address
TMMFp..apE2
creator
1627 PrGxv../4a8cf..
owner
1627 PrGxv../4a8cf..
term root
00442..