Proofgold Object

λ x0 : ο . x0 ⟶ False

type
ο → ο

theory
HoTg

name
not

definition
PUgom..

Megalodon
-

proofgold address
TMd6Q..

creator
1652 PrGxv../7d67b..

owner
1652 PrGxv../7d67b..

term root
f3043..