This wiki is under construction. Until further notice I am using it for exploring Branchable and Ikiwiki.

Try the Alice & Bob GitTutorial.

An algebraic treatment of CategoricalSyllogism is in preparation.

All wikis are supposed to have a SandBox, so this one does too.