1. 2021. Python-Markdown. https://python-markdown.github.io/ 2021. Python-Markdown. https://python-markdown.github.io/
2. Ajax.org. 2022. Ajax.org Cloud9 Editor. https://github.com/ajaxorg/ace Ajax.org. 2022. Ajax.org Cloud9 Editor. https://github.com/ajaxorg/ace
3. Lara Alcock and Nicola Wilkinson. 2011. e-Proofs: Design of a Resource to Support Proof Comprehension in Mathematics. Educational Designer: Journal of the International Society for Design and Development in Education(2011). https://www.educationaldesigner.org/ed/volume1/issue4/article14/ Lara Alcock and Nicola Wilkinson. 2011. e-Proofs: Design of a Resource to Support Proof Comprehension in Mathematics. Educational Designer: Journal of the International Society for Design and Development in Education(2011). https://www.educationaldesigner.org/ed/volume1/issue4/article14/
4. Eric Allen , David Chase , Joe Hallett , Victor Luchangco , Jan-Willem Maessen , Sukyoung Ryu , Guy L Steele Jr , Sam Tobin-Hochstadt , Joao Dias , Carl Eastlund , and others. 2005. The Fortress language specification. Sun Microsystems 139, 140 ( 2005 ). Eric Allen, David Chase, Joe Hallett, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L Steele Jr, Sam Tobin-Hochstadt, Joao Dias, Carl Eastlund, and others. 2005. The Fortress language specification. Sun Microsystems 139, 140 (2005).
5. Dennis S. Arnon . 1988 . Workshop on environments for computational mathematics. ACM SIGGRAPH Computer Graphics 22 , 1 (Feb. 1988), 26–28. Dennis S. Arnon. 1988. Workshop on environments for computational mathematics. ACM SIGGRAPH Computer Graphics 22, 1 (Feb. 1988), 26–28.