Notes and Slides

I created some logic software (zoxiy) for first-year logic teaching that is already operational (around 15 years, >1m exercises submitted). Students are generally positive about rapid feedback, while teaching staff are freed from the mechanical parts of the marking. Students also tend to do more work.

Advances in language models make it feasible to extend the approach to teaching my non-logic modules. I propose to explain the opportunity and the obstacles, and to run through some requirements.