Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 : (ι → ι → ο) → ο . (∃ x2 : ι → ι → ο . and (x0 x2) (x1 x2))∀ x2 : ο . (∀ x3 : ι → ι → ο . x0 x3x1 x3x2)x2
type
prop
theory
HotG
name
exandE_iio
proof
PUVNt..
Megalodon
exandE_iio
proofgold address
TMZrs..exandE_iio
creator
4897 Pr6Pc../28bf5..
owner
4897 Pr6Pc../28bf5..
term root
86782..