Long after I first announced the project, an evaluation version of the Symbolic Logic APPlication (SLAPP) is available! This version of SLAPP is an exercise editor, not a checker. Still, I hope that it will be useful.

I do not think SLAPP is ready yet for broad release to students – who will likely expose (and get frustrated by) every flaw. As things stand, I am especially concerned about the limited range of its testing. Additional evaluators will bring perspectives other than my own, and it will be important to see that it works in different (PC / Mac) hardware contexts. And now is the time to get in your requests for fixes and improvements!

If you would like to check out the current version, you can find it here, on the SLAPP webpage.