Abstract
We present a custom-designed website for teaching mathematical proof using either LaTeX markup or proof assistants.
Keywords:
Computer Science, Mathematics, Education, Web Design
Co-presenters
Kassady Herriott; Marcelo Morales; Skylar Boggs
Status
Undergraduate
Department
Electrical Engineering and Computer Science
College
Russ College of Engineering and Technology
Campus
Athens
Faculty Mentor
Abukamail, Nasseef
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
COinS
Interactive Tools for Teaching Mathematical Proof
We present a custom-designed website for teaching mathematical proof using either LaTeX markup or proof assistants.