Core Support
Granted to Stanford University – Education Program for Gifted Youth
Goal
To support the development of user-friendly procedures for constructing proofs that are computer-checked for undergraduate mathematics courses beyond calculus.
Grant Amount
$397,000
Year Awarded
1998
Term
51 Months