Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
如何将 CoqIDE 与超过 2 个窗格一起使用？代码可能会变得非常大，并且很难在一个窗格中跟踪每个定义等。
我用谷歌搜索了这个：
http://web.cecs.pdx.edu/~apt/coq_hints.html
但这并没有太大帮助...