skip to main content
10.1145/3545947.3573228acmconferencesArticle/Chapter ViewAbstractPublication PagessigcseConference Proceedingsconference-collections
abstract

Proof Buddy: A Tool to Aid Students in Proof Construction

Published: 06 March 2023 Publication History

Abstract

"Proof Buddy" is an online browser based tool designed to teach proof writing to beginning computer science students. It has been designed from the ground up with educational purposes in mind and has been used successfully with hundreds of students since January 2022 at Drexel University. The tool helps students build and check proofs in a variety of systems. It is capable of doing Natural Deduction, both Boolean logic and first order logic, and is being extended to Equational Reasoning. Important instructor-centered features include that the teacher can create assignments of proof problems, which the software can auto score and have results uploaded into their school's LMS. Additionally, the tool allows proofs to be saved and exported and used as new rules. When this feature is used by the instructor, it permits a customization of the allowable rules. When this feature is used by the students, it allows them to create their own lemmas which reduces the cognitive load of a more intricate proof.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SIGCSE 2023: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2
March 2023
1481 pages
ISBN:9781450394338
DOI:10.1145/3545947
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 March 2023

Check for updates

Author Tags

  1. logic
  2. proof
  3. web application

Qualifiers

  • Abstract

Conference

SIGCSE 2023
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,787 of 5,146 submissions, 35%

Upcoming Conference

SIGCSE TS 2025
The 56th ACM Technical Symposium on Computer Science Education
February 26 - March 1, 2025
Pittsburgh , PA , USA

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 0
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

View Options

View options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media