Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0int_alt1minus_SNo x0int_alt1
type
prop
theory
HotG
name
-
proof
PUVtn..
Megalodon
int_minus_SNo
proofgold address
TMV6s..int_minus_SNo
creator
5161 Pr6Pc../aa094..
owner
5161 Pr6Pc../aa094..
term root
66d7a..