Proofgold Proposition

0 = Power 0 ⟶ False

type
prop

theory
HF

name
-

proof
PUNKw..

Megalodon
-

proofgold address
TMUDs..

creator
628 Pr4Ru../0175b..

owner
628 Pr4Ru../0175b..

term root
03947..