CNPE: A Framework of Challenges & Needs in Proof Education.

Romina Mahinpei, Sofiia Druchyna, Xinran Bi

Browse the full SIGCSE paper archive.