Forall X – An Introduction to Formal Logic
fecundity.com
fecundity.com
https://openlogicproject.org/2017/01/18/forall-x-calgary-rem...
Ideally more classes would be able to do stuff like this but given the fairly "fixed"/closed source nature of most textbooks, this isn't really an option for most professors or courses.
https://www.cs.nmsu.edu/historical-projects/Projects/FoLunde...