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.