Как использовать CoqIDE с более чем 2 панелями?Код может стать действительно большим, и его трудно отслеживать за каждым определением и т. Д. На одной панели.
Я погуглил это:
http://web.cecs.pdx.edu/~apt/coq_hints.html
, но это не такслишком полезно ...