Search for blocks/addresses/...

Proofgold Proposition

c4def.. = c9248..∀ x0 : ο . x0
type
prop
theory
HOAS
name
-
proof
PUSb6..
Megalodon
-
proofgold address
TMNp4..
creator
2059 PrGxv../29ba5..
owner
2059 PrGxv../29ba5..
term root
82ec9..