Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 : ο . or x0 x1(x0False)(x1False)False
type
prop
theory
HF
name
-
proof
PUUci..
Megalodon
tab_pos_or
proofgold address
TMF6Z..tab_pos_or
creator
1149 PrGxv../f28cd..
owner
1149 PrGxv../f28cd..
term root
29c71..