Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . 1eb0a.. x0 ⟶ x0 = bbc71.. (8dd2c.. x0) (c6963.. x0) (a9894.. x0) (da724.. x0) (adebb.. x0) (91922.. x0) (b8e07.. x0) (7f2e4.. x0)
type
prop
theory
HotG
name
-
proof
PUWiW..
Megalodon
-
proofgold address
TMS3W..
creator
28269 PrQUS../36d48..
owner
28269 PrQUS../36d48..
term root
3e746..