Coqoon - An IDE for Interactive Proof Development in Coq.
Alexander John FaithfullJesper BengtsonEnrico TassiCarst TankinkPublished in: TACAS (2016)
Keyphrases
- theorem prover
- development environment
- development process
- virtual reality
- development environments
- database
- software engineering
- case study
- knowledge based systems
- computer graphics
- expert systems
- rapid development
- rapid prototyping
- human computer interaction
- design process
- user friendly
- databases
- support systems
- formal methods
- data sets