ProofBuddy: A Proof Assistant for Learning and Monitoring

Article Properties
  • Language
    English
  • DOI (url)
    10.4204/eptcs.382.1
  • Publication Date
    2023/08/14
  • Journal
    Electronic Proceedings in Theoretical Computer Science
  • Indian UGC (journal)
  • Refrences
    39
  • Nadine Karsten Technische Universität Berlin
  • Frederik Krogsdal Jacobsen Technical University of Denmark
  • Kim Jana Eiken Technische Universität Berlin
  • Uwe Nestmann Technische Universität Berlin
  • Jørgen Villadsen Technical University of Denmark
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
Teaching Functional Programmers Logic and Metatheory Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1 2022
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL 2022
Natural Deduction Assistant (NaDeA) Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1 2019
The Contribution of Information and Communication Technology to the Teaching of Proof 2019
Learning Logic and Proof with an Interactive Theorem Prover 2019