Search for blocks/addresses/...

Proofgold Object

λ x0 : ο . λ x1 x2 : ι → ι → ο . λ x3 x4 . and (x0x1 x3 x4) (not x0x2 x3 x4)
type
ο(ιιο) → (ιιο) → ιιο
theory
HF
name
-
definition
PUXbj..
Megalodon
If_iio
proofgold address
TMF8W..If_iio
creator
1478 PrGxv../cdfc2..
owner
1478 PrGxv../cdfc2..
term root
9bf63..