- Title
- Proof Buddy
- Creators
- Steve Earth - Drexel UniversityJeremy Johnson - Drexel UniversityBruce Char - Drexel University
- Publication Details
- SIGCSE 2023: Proceedings of the 54th ACM Technical Symposium on Computer Science Education, v 2
- Publisher
- ACM
- Resource Type
- Conference proceeding
- Language
- English
- Academic Unit
- Computer Science
- Other Identifier
- 991021811636704721
Conference proceeding
Proof Buddy: A Tool to Aid Students in Proof Construction
SIGCSE 2023: Proceedings of the 54th ACM Technical Symposium on Computer Science Education, v 2
01 Mar 2022
Metrics
42 Record Views