Proofgold Proposition

ChurchBoolFal = λ x1 x2 . x2

type
prop

theory
HotG

name
-

proof
PURih..

Megalodon
-

proofgold address
TMSnZ..

creator
9308 PrGxv../e4121..

owner
9308 PrGxv../e4121..

term root
fe36c..