# Advancing Methods for Analyzing Mathematical Proof Language

**Budget Signal Score:** 25/100

| Field | Value |
|---|---|
| Institution | Texas State University - San Marcos |
| Location | SAN MARCOS, TX |
| Project | Advancing Methods for Analyzing Mathematical Proof Language |
| Award amount | $291,134 |
| Obligated so far | $291,134 |
| Awarded | 2026-08-04 |
| Period | 2026-11-01 to 2028-10-31 |
| Program | ECR-EDU Core Research |
| Directorate / division | EDU / EIT |
| Award ID | 2600424 |

## Why this score
- Award of $291,134.

Source: U.S. National Science Foundation Awards API (https://www.nsf.gov/awardsearch/showAward?AWD_ID=2600424). Last refreshed: 2026-11-03T18:10:42.804Z.
Award data comes from the NSF Awards API and may be amended by NSF. Institution-level only; investigator contact details are not included. Informational only.