Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . SNo x0CSNo x0
type
prop
theory
HotG
name
SNo_CSNo
proof
PUgeJ..
Megalodon
SNo_CSNo
proofgold address
TMR4D..SNo_CSNo
creator
4958 Pr6Pc../057d5..
owner
4958 Pr6Pc../057d5..
term root
56121..