Proofgold Proposition

False ⟶ ∀ x0 : ο . x0

type
prop

theory
HF

name
FalseE

proof
PUgya..

Megalodon
FalseE

proofgold address
TMYXQ..^FalseE

creator
144 Pr8qe../f5f19..

owner
144 Pr8qe../f5f19..

term root
f5e61..