Archive correct version of independent project
Add symbolic logic workshop page - first draft