The Tactician - A Seamless, Interactive Tactic Learner and Prover for Coq.
Lasse BlaauwbroekJosef UrbanHerman GeuversPublished in: CICM (2020)
Keyphrases
- theorem prover
- open learner modelling
- learning environment
- adaptive educational hypermedia
- e learning
- theorem proving
- context awareness
- user interaction
- learning materials
- neural network
- interactive video
- user friendly
- virtual reality
- computer graphics
- learning activities
- learning process
- search engine
- artificial intelligence
- automated theorem proving
- first order logic
- interactive learning environments
- adaptive learning
- genetic algorithm
- data mining