"Cannot find a physical path bound to logical path matching suffix <> and prefix Coqoban"

[InfiniteEchoes]

I have actually solved this issue by myself, but I still want to write it out so that others does not fall in the same trap.

On my WSL Ubuntu with Coq ver. 8.13.1, I have followed all the steps in the README, but it turns out that my coqtop still cannot identify and import the project. My way to resolve the error as mentioned in the title is,

coqtop -R . Coqoban