Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0omegadivides_nat x0 x0
type
prop
theory
HotG
name
-
proof
PUcPW..
Megalodon
-
proofgold address
TMQtg..
creator
8134 PrFVW../ba615..
owner
8134 PrFVW../ba615..
term root
7c992..