Creating and Evaluating Interactive Formal Courseware for Mathematics and Computing

unofficial copies [PDF], [PS]

by Robert L. Constable

Unpublished manuscript, Cornell University, 1996.


The application of the Nuprl proof development system to the teaching of college-level mathematics is explored. The advantages of this method include the flexibility to accommodate the needs of students with very diverse backgrounds and the creation of an environment that encourages collaborative learning.