all options
jessie  ] [  stretch  ] [  bullseye  ] [  sid  ]
[ Source: proofgeneral  ]

Пакунок: proofgeneral-doc (4.4.1~pre170114-1.1)

Links for proofgeneral-doc


Debian Resources:

Download Source Package proofgeneral:


External Resources:

Similar packages:

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.

Tags: Field: Математика, Made Of: HTML, Hypertext Markup Language, Role: Документація, Application Suite: suite::emacs, use::checking

Інші пакунки пов'язані з proofgeneral-doc

  • depends
  • recommends
  • suggests
  • enhances

Завантажити proofgeneral-doc

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
all 665.8 kB1,558.0 kB [список файлів]