How do I exit coqtop REPL?

Question

I am using the coqtop REPL because I don't want to use the coqide. But how do I exit the REPL? I have tried a lot of different ways but nothing works.

Answer 1

You can exit using Quit. or Ctrl-D. I am afraid it is not documented anywhere at least not somewhere it could be found easily. Issue raised here.