Proofgold Proposition

Loop 1 (λ x0 x1 . 0) (λ x0 x1 . 0) (λ x0 x1 . 0) 0

type
prop

theory
HF

name
-

proof
PUSS3..

Megalodon
Trivial_Loop

proofgold address
TMdAo..^Trivial_Loop

creator
2311 PrGxv../4a18e..

owner
2311 PrGxv../4a18e..

term root
562ca..