Automated proof checking in introductory discrete mathematics classes

Automated proof checking in introductory discrete mathematics classes

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2013.

Bibliographic Details
Main Author: Haven, Andrew J
Other Authors: Adam Chlipala.
Format: Thesis
Language:eng
Published: Massachusetts Institute of Technology 2014
Subjects:
Electrical Engineering and Computer Science.
Online Access:http://hdl.handle.net/1721.1/85424

Similar Items

Similar Items