Search for blocks/addresses/...

Proofgold Proposition

or = λ x1 x2 : ο . not (and (not x1) (not x2))
type
prop
theory
HoTg
name
eq_or_nand
proof
PUdWB..
Megalodon
-
proofgold address
TMWpF..
creator
2791 PrGxv../78a94..
owner
2791 PrGxv../78a94..
term root
24ac2..