VDict mobile



perp not found. Suggestions:

PREP
\perp
perf
perplexity
superpipelined
superprogrammer
\perp
\perp
bottom
constructed type
partial function
lifted domain
natural deduction