ra VS diffyqs

I remember posting a similar list for introductory analysis (like the kind commonly required for math majors) too, but I didn't bother to figure out where that was, so I just looked up Volume I of the book by Jiří Lebl and found another good explanation of it, including cases where the function to be integrated is not continuous.

I also found one where the only comment that would be useful to anyone other than the OP was mine; I recommended, as far as free resources go, the textbooks by Lebl and by Trench.

Lebl's "Basic Analysis: Introduction to Real Analysis" is opensource and the sourcecode's on github here

253 uses clp3, and the textbook they recommend for 256 is https://www.jirka.org/diffyqs/

For LaTeX, I would first advise looking at the following section from the differential equations textbook I used as an example of what to expect. - Here is what is typed - Here is the readable output If learning that seems appealing, then I would recommend looking at the documentation on Overleaf, which provides a comprehensive introduction to the basics of the system. Note, though, that learning it can be a process, and I have no idea how well braille conversion of the source would go.