Login / Signup
PIDE as front-end technology for Coq
Makarius Wenzel
Published in:
CoRR (2013)
Keyphrases
</>
cost effective
artificial intelligence
rapid development
back end
data structure
theorem prover
technological advances
data mining
learning algorithm
case study
computer science
control system
building blocks
digital media