Hexuan “Ricky” Huang (University of Cambridge) has created an interactive online edition of forall x: Calgary. Like our own HTML version, it should help make forall x more accessible. While our version is designed for use in courses as merely an alternative to the PDF or printed book, this version is designed for self-study. It integrates interactive exercises (symbolization, truth tables, and proofs). Progress can be saved, and solutions from the solutions booklet can be displayed next to the exercises. The code is open source and on Github where you can provide feedback and report problems.
