Proofgold Proposition

False ⟶ ∀ x0 : ο . x0

type
prop

theory
HoTg

name
FalseE

proof
PUdeW..

Megalodon
-

proofgold address
TMQVM..

creator
1652 PrGxv../f892c..

owner
1652 PrGxv../f892c..

term root
0dcfe..