Search for blocks/addresses/...

Proofgold Proposition

Sigma_nat 6 (λ x1 . mul_nat (ap (lam 6 (λ x2 . If_i (x2 = 0) 1 (If_i (x2 = 1) 0 (If_i (x2 = 2) 0 (If_i (x2 = 3) 1 (If_i (x2 = 4) 0 1)))))) x1) (exp_nat 2 x1)) = 41
type
prop
theory
HotG
name
-
proof
PUKRi..
Megalodon
-
proofgold address
TMTTw..
creator
15508 Pr4zB../01a6a..
owner
15508 Pr4zB../01a6a..
term root
1b79d..