How do I exit coqtop REPL?

Taimoor Zaeem 0
Viewed 42

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.

coq
2 Answers

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

Taimoor Zaeem0

Type "ctrl-D" on the keyboard.

Pierre Jouvelot0
Related