Computer Science
Sequent Calculus
100%
Automated Reasoning
46%
Computer Science
46%
Soundness
46%
Formalization
46%
Proof System
35%
Completeness Proof
35%
Metatheory
33%
Teaching Experience
33%
Theorem Prover
22%
Closed Formula
22%
Search Procedure
22%
Usability Study
22%
Formal Language
22%
Potential Solution
22%
Theorem Proving
22%
Concurrency
22%
high-order logic
22%
Natural Deduction
11%
Design Implementation
11%
Completeness Theory
11%
Intended Learning Outcome
11%
Learning Experiences
11%
Distributed Programming
11%
Modern Computer
11%
Machine Learning
11%
Student Perception
11%
Programming Language
11%
Functional Programming
11%
Logic Programming
11%
Functional Program
11%
Concurrent Language
11%
Design Verification
11%
Keyphrases
Proof Mechanization
22%
Teaching Formal Methods
22%
Proof Assistants
22%
Proof Understanding
11%
Programming Language Research
11%
Distributed Programming Languages
11%
Meta-theoretical
11%
Computer Science Curriculum
7%
Proof Tree
5%
Technical University
5%
Proof Certificates
5%
Proof-search Procedures
5%
Interactive Features
5%
Usability Study
5%
Computer Science
5%
Completeness Theory
5%
Countermodels
5%
Denmark
5%
Mathematical Proof
5%
Teaching Proof
5%
Web Tool
5%
Formal Languages
5%
Isabelle Proof Assistant
5%
Correct Use
5%