Keyphrases
- natural deduction
- cut elimination
- user interaction
- logic programming
- virtual reality
- proof search
- sequent calculus
- deontic logic
- image processing
- set theory
- real time
- linear logic
- graphical interface
- automated theorem provers
- interactive exploration
- asynchronous circuits
- highly interactive
- classical logic
- theorem proving
- theorem prover
- machine learning