Natural Deduction Assistant (NaDeA)

Article Properties
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
Programming and verifying a declarative first-order prover in Isabelle/HOL 2018
Natural Deduction and the Isabelle Proof Assistant 2017
Proof assistants: History, ideas and future Sādhanā
  • Technology: Technology (General): Industrial engineering. Management engineering
  • Technology: Engineering (General). Civil engineering (General)
  • Technology: Engineering (General). Civil engineering (General)
 13 2009
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle 2017
10.1007/3-540-45949-9 2002
Refrences Analysis
Refrences used by this article by year
Citations
Title Journal Journal Categories Citations Publication Date
ProofBuddy: A Proof Assistant for Learning and Monitoring Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2023
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled ProofBuddy: A Proof Assistant for Learning and Monitoring and was published in 2023. The most recent citation comes from a 2023 study titled ProofBuddy: A Proof Assistant for Learning and Monitoring. This article reached its peak citation in 2023, with 1 citations. It has been cited in 1 different journals, 100% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year