Proofgold Proposition

∀ x0 x1 : ο . x1 ⟶ or x0 x1

type
prop

theory
HotG

name
orIR

proof
PUL8Q..

Megalodon
orIR

proofgold address
TMShT..^orIR

creator
4882 Pr6Pc../5ab10..

owner
4882 Pr6Pc../5ab10..

term root
3c63f..