Вопросы с тегом корректура-вообще

2 голосов

1 ответ

Unicode символы не для Proof-general при написании Coq

Javier / 23 апреля 2020

3 голосов

1 ответ

Как изменить версию Coq в Proof General?

Isaac Velasquez / 22 апреля 2020

2 голосов

1 ответ

Невозможно настроить сертифицированное программирование с зависимыми типами

Javier / 19 апреля 2020

0 голосов

1 ответ

Избегайте печати обозначений в Coq с Proof General

Javier / 21 марта 2020

0 голосов

0 ответов

SSreflect не работает с Emacs, Coq и ProofGeneral. Как установить SSreflect в MacOS?

Vedant Chavda / 11 марта 2020

0 голосов

0 ответов

Почему Proof General так медленно работает в Windows 10?

Javier / 17 февраля 2020

0 голосов

1 ответ

Просмотреть определение в Coq-IDE

Javier / 26 января 2020

Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.

...