Projects per year
Search results
-
Active
Creating an on-RAMP into mathematical proving
National Science Foundation (NSF)
7/1/22 → 6/30/25
Project: Research project
-
COLLABORATIVE RESEARCH: ECR DBER DCL: COMPREHENDING CONDITIONAL CLAIMS? PROOFS ORGANICALLY (C3PO)
National Science Foundation (NSF)
10/1/20 → 9/30/23
Project: Research project