Proofgold Proposition

False ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
FalseE

proof
PUL8Q..

Megalodon
FalseE

proofgold address
TMJrb..^FalseE

creator
4882 Pr6Pc../a326c..

owner
4882 Pr6Pc../a326c..

term root
0dcfe..