On Windows 10 64bit

General:
Search for instructions for setting up WSL for GUI programs.
Then follow instructions for your Linux distribution to install Coq.

Comments:
enable Windows Subsystem for Linux (WSL)
download the Linux distribution of your choice from the Windows Store
opening the program gives you now a Linux terminal
initialize and create user
install opam and coq and coqide from terminal in Linux
        need to disable sandboxing: opam init --disable-sandboxing
install X server (e.g. Xming) on Windows
set display in Linux terminal (will open a new window with the application)
        DISPLAY=:0 coqide