Keyphrases
- programming language
- computer programs
- theorem prover
- formal proof
- programming environment
- theorem proving
- software development
- software engineering
- expert systems
- website
- artificial intelligence
- information retrieval
- development environment
- object oriented programming
- machine learning
- programming course
- recursive queries
- recursive functions
- real world