Proof Comprehension

NSF: Developing and Validating Proof Comprehension Tests in Real Analysis (ReACT)

The ReACT project involved developing and validating a series of eight proof comprehension tests for real analysis.