2015/07/14 by Marek Materzok, Materzok, Marek
Computer Science · Social Sciences · #Computers and Society (cs.CY) #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematics Education and Teaching Techniques #Mathematics, Computing, and Information Processing #cs.CY #cs.LO
paper · pdf · doi:10.48550/arxiv.1507.03675
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, João Marcos, María Manzano, Sophie Pinchinat, François Schwarzentruber
arxiv created 2015/07/14 · openalex publication_date 2015/07/14 · arxiv updated 2015/07/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Teaching precise mathematical reasoning can be very hard. It is very easy for a student to make a subtle mistake in a proof which invalidates it, but it is often hard for the teacher to pinpoint and explain the problem in the (often chaotically written) student's proof. We present Easyprove, an interactive proof assistant aimed at first year computer science students and high school students, intended as a supplementary tool for teaching logical reasoning. The system is a Web application with a natural, mouse-oriented user interface.