Search for blocks/addresses/...

Proofgold Proposition

6a551.. = 0 ⟶ False
type
prop
theory
HF
name
-
proof
PUbQq..
Megalodon
-
proofgold address
TMMPX..
creator
3149 PrGxv../42047..
owner
3149 PrGxv../42047..
term root
859cc..