Proofgold Proposition

False ⟶ ∀ x0 : ο . x0

type
prop

theory
HOAS

name
FalseE

proof
PUcHm..

Megalodon
-

proofgold address
TMUR7..

creator
1745 PrGxv../45790..

owner
1745 PrGxv../45790..

term root
0dcfe..