Links to MathCheck Problem Pages in English

• A Challenging Pair of Equations (2025-06-28)
• Logic Problem Examples (2025-06-02)
• An Induction Problem Inspired by Alarfaj and Sangwin 2022 (2025-05-22)
• Three MathCheck Logic Modes (An open box for writing formulas or reasonings)
• CSEDU 2021 Presentation Publication Examples
• Undefined Terms in Practical Mathematical Reasoning (Talk in a meeting of Finnish logicicans, 2020-10-09)
• Automated Logic Exercises (A seminar in STIU 2020 – 10. Schweizer Tag für Informatikunterricht, 2020-02-05)
• MathCheck Real Logic Mode (The introduction text is probably as of 2020, but the program is the most recent version.)
• CSEDU19 example problems: Simplification Small Examples Array Claim Equation Expression Tree (Context-Free Grammar)