Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . nat_p x0∀ x1 : ι → ι . (∀ x2 . x2x0x1 x22)Sigma_nat x0 (λ x2 . mul_nat (x1 x2) (exp_nat 2 x2))exp_nat 2 x0
type
prop
theory
HotG
name
-
proof
PUKRi..
Megalodon
-
proofgold address
TMLGZ..
creator
15508 Pr4zB../3261f..
owner
15508 Pr4zB../3261f..
term root
c7417..