Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 : ο . and x0 x1(x0x1False)False
type
prop
theory
HF
name
-
proof
PUUci..
Megalodon
tab_pos_and
proofgold address
TMXQ7..tab_pos_and
creator
1149 PrGxv../ea277..
owner
1149 PrGxv../ea277..
term root
72499..