Your editor has spelling and grammar checkers. Your math editor should check your math (not just arithmetic, but algebra, calculus, and proofs as well). That is what Lurch does; it is a simple math editor with a general-purpose proof checker built in.

I am the creator and project architect of Lurch Plus, the official home of the Lurch software project and its applications and other goodies.

I have integrated Lurch with my course materials and lecture notes in my introduction to proof course at the University of Scranton. You can learn all about it and try it yourself at lurch.plus and see Lurch in action at my Spring 2024 Math 299 course home page. Instructors who want to create their own course materials can get started with an updated and improved version of those course materials here:

Instructors can fork that site on Github to make copy of the site in their own account and activate it as a website using the Github Settings>Pages menu. You can then replace the index.html page with whatever you like and add or modify any additional course content you see fit.

If you have any questions, contact me.