Proofgold Proposition

type
prop

theory
HF

name
-

proof
PUJuQ..

Megalodon
combinator_S

proofgold address
TMKNR..^combinator_S

creator
2336 PrGxv../54c3c..

owner
2336 PrGxv../54c3c..

term root
2def6..