Proofgold Proposition

8b17e.. (pack_r 0 (λ x0 x1 . False))

type
prop

theory
HotG

name
-

proof
PUMZ2..

Megalodon
-

proofgold address
TMXZe..

creator
11302 PrEBh../5043b..

owner
11302 PrEBh../5043b..

term root
4ed7a..