Leave feedback at any time
The purpose of this app is to give you a way to revise for Inf1A:CL and practice various topics without simply memorizing a few solutions from the tutorials and past papers.
You can select a number of questions or one of the premade lessons for various topics such as the Arrow Rule, Karnaugh maps, or Gentzen/Reduction rules. All questions are randomly generated, meaning you should get a different questions every time you practice. There's a slight chance that questions repeat due to the relatively small search space for each question, so feel free skip a question or just practice it again.
While using the app, feel free to give feedback at any point using the blue dropdown form in the navbar. Every answer will help me make the app better and more useful for upcoming Inf1A students, and potentially even you in other courses!