Proofgold Proposition

type
prop

theory
HF

name
-

proof
PUJuQ..

Megalodon
combinator_K

proofgold address
TMa7z..^combinator_K

creator
2336 PrGxv../ae69c..

owner
2336 PrGxv../ae69c..

term root
1be6e..