Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 x3 x4 x5 x6 x7 . SNo x0SNo x1SNo x2SNo x3SNo x4SNo x5SNo x6SNo x7da724.. (bbc71.. x0 x1 x2 x3 x4 x5 x6 x7) = x3
type
prop
theory
HotG
name
-
proof
PUWiW..
Megalodon
-
proofgold address
TMW4u..
creator
28269 PrQUS../0a223..
owner
28269 PrQUS../0a223..
term root
7b46a..