Proofgold Proposition

90aea.. (pack_r 0 (λ x0 x1 . False))

type
prop

theory
HotG

name
-

proof
PUMZ2..

Megalodon
-

proofgold address
TMM5C..

creator
11302 PrEBh../75a50..

owner
11302 PrEBh../75a50..

term root
368e9..