Я установил Coq и Coq IDE из здесь . Все прошло гладко. Я запустил Coq IDE из терминала, затем...

Я пытаюсь найти пример аксиома в Coq чего-то вроде аксиомы линии в геометрии: если заданы две точки...

Можно ли установить несколько версий одной и той же библиотеки в Coq?Если да, как мне выбрать, с...