Zoxiy Guide
Getting started
Basic introduction to zoxiy [pdf]
Possible situations with blocks
A quick guide to creating possible situations in zoxiy [pdf]
Interpretations for the predicates of the zoxiy block language [pdf]
Truth tables
A demonstration of how to construct a truth table on zoxiy for (A ∨ ¬A) [pdf]
Proofs
Proofs and subproofs on zoxiy [pdf]
Typing symbols (translations and proofs)
Strings/words which zoxiy recognizes as alternatives to the logical symbols [pdf]