Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0complexCSNo x0
type
prop
theory
HotG
name
complex_CSNo
proof
PUNr2..
Megalodon
complex_CSNo
proofgold address
TMHpT..complex_CSNo
creator
12547 PrGxv../89665..
owner
12547 PrGxv../89665..
term root
01b56..