display
discussed
discovers
directories
dictionaries
develops
Develop
determine
describes
describe
deploys
delves
definitions
Define
debugging
Debugger
customizable
corrections
coq-of-ocaml
coqide
