Я закончил писать довольно длинное доказательство, но всякий раз, когда я пытаюсь Qed, я получаю...

Используя CoqIde, есть ли способ просмотреть шаги, предпринятые simpl? Я нахожу, что не понимаю,...

Я использую CoqIDE, чтобы прочитать серию учебников "Основы программного обеспечения", в настоящее...

Как использовать CoqIDE с более чем 2 панелями?Код может стать действительно большим, и его трудно...

Я проходил курс по основам программного обеспечения и по какой-то причине мне НЕ удалось получить...

Я изменил привязку клавиш в соответствии с: https://github.com/coq/coq/wiki/Configuration-of-CoqIDE...

Я добавляю некоторые теоремы в библиотеку https://github.com/coq-contribs/zfc Но есть не очень...

Я хочу раскрасить какую-то конкретную команду и тактику в другой цвет, например, я хочу, чтобы...

Я не могу заставить ярлык «Вперед» работать на моем MacBook. В соответствии с IDE это должно быть...

Я только начинаю изучать coq, и я в основном скопировал код (?) Из того, что профессор показал в...

Этот вопрос основан на моем вопросе https://cs.stackexchange

Я работаю из этой книги http://www.seas.upenn.edu/~cis500/current/sf/lf-current/, которая...

У меня уже установлен Coq, сейчас я пытаюсь установить CoqIDE на Mac.Я слежу за Coq wiki .Сборка не...