Here you can find research related to the Proofs Project, as well as instructional tools based on that research.
