...computing.

NSF grant DUE 9555162 Creating and Evaluating Interactive Formal Courseware for Mathematics and Computing. The project is called Interactive Formal Courseware

...Web.

The url is www.cs.cornell.edu/Info/Projects/NuPrl/html/Interactive_Formal_Courseware.html.

karla@cs.cornell.edu
Wed Jul 2 12:59:27 EDT 1997