все параметры
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: proofgeneral  ]

Пакет: proofgeneral-doc (4.5-1)

Ссылки для proofgeneral-doc

Screenshot

Ресурсы Debian:

Исходный код proofgeneral:

Сопровождающие:

Внешние ресурсы:

Подобные пакеты:

generic frontend for proof assistants - documentation

Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers.

This package provides the Proof General user manual in info, html and pdf form.

Теги: Область: Математика, Использовался при создании: HTML, язык гипертекстовой разметки, Роль: Документация, Комплект приложений: suite::emacs, use::checking

Другие пакеты, относящиеся к proofgeneral-doc

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка proofgeneral-doc

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
all 681,4 Кб1 549,0 Кб [список файлов]