Proofgold Proposition

∀ x0 x1 : ο . x0 ⟶ or x0 x1

type
prop

theory
HotG

name
orIL

proof
PUL8Q..

Megalodon
orIL

proofgold address
TMWwP..^orIL

creator
4882 Pr6Pc../a2033..

owner
4882 Pr6Pc../a2033..

term root
55be8..