Search for blocks/addresses/...
Proofgold Proposition
iff
=
λ x1 x2 : ο .
and
(
x1
⟶
x2
)
(
x2
⟶
x1
)
type
prop
theory
hf axiom
name
-
proof
-
Megalodon
iff_def
proofgold address
-
creator
owner
term root
535a4..