Search for blocks/addresses/...

Proofgold Proposition

(λ x1 x2 : ο . x1x2) = λ x1 : ο . or (not x1)
type
prop
theory
HoTg
name
eq_imp_or
proof
PUfss..
Megalodon
-
proofgold address
TMdGR..
creator
2718 PrGxv../e5422..
owner
2718 PrGxv../e5422..
term root
06c30..