Login / Signup
Coqoon - An IDE for interactive proof development in Coq.
Alexander John Faithfull
Jesper Bengtson
Enrico Tassi
Carst Tankink
Published in:
Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
</>
theorem prover
software engineering
virtual reality
development environments
development environment
development process
user friendly
case study
knowledge based systems
user interaction
real time
website
multimedia
theorem proving
design tools
machine learning
support systems
neural network