Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 : ο .
not
(
and
x0
x1
)
⟶
or
(
not
x0
)
(
not
x1
)
type
prop
theory
HoTg
name
not_and_or_demorgan
proof
PUfss..
Megalodon
-
proofgold address
TMaLG..
creator
2718
PrGxv..
/
d9d55..
owner
2718
PrGxv..
/
d9d55..
term root
29877..