Event Title

Interactive Tools for Teaching Mathematical Proof

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

This document is currently not available here.

Share

COinS
 

Interactive Tools for Teaching Mathematical Proof

We present a custom-designed website for teaching mathematical proof using either LaTeX markup or proof assistants.