Ariel Roffé, a philosophy PhD student at the University of Buenos Aires has created a website that features the random generation and automatic correction of logic exercises.
The site, Taut, can generate problems in several logical systems, and offers users the option of checking their work or showing a solution. (And what an excellent name for a logic-teaching site!)
Since the program runs on the web, it should work on any device that can run a web browser. It does not require any registration or downloading of files; it is open source and has a GPL3 license.
Mr. Roffé writes, “I think it may be very useful for anyone that teaches an initial logic course. In fact, we’ve used it this semester at the University of Buenos Aires, with good results and good feedback from students.”
Check it out here.