Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 05/1/07 → 08/30/10 |
Funding
- National Science Foundation
Lurch: Software for Teaching Mathematical Proof
- Carter, Nathan (PI)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 05/1/07 → 08/30/10 |