Paquet : proofgeneral (4.5-1)

[ Paquet source : proofgeneral  ]

frontal générique d’assistants de preuve

« Proof General » est un mode majeur d'Emacs pour le transformer en système d’assistant de preuves interactif afin d'écrire des preuves mathématiques formelles en utilisant toute une variété de théorèmes.

Ce paquet fournit la prise en charge de Proof General pour Coq. (Il n’existe pas d’autres assistant de preuve pouvant être raisonnablement pris en charge.)

Étiquettes: Domaine: Mathématiques, Mis en œuvre en: Lisp, Interface utilisateur: interface::graphical, interface::text-mode, Système X Window, Rôle: Greffon, role::program, suite::emacs, But: Édition, Système X Window: Application

Autres paquets associés à proofgeneral

• dep: emacs

  éditeur GNU Emacs – métapaquet
  un paquet virtuel est également fourni par emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk

• sug: proofgeneral-doc

  generic frontend for proof assistants - documentation

• sug: prooftree

  Paquet indisponible

Télécharger proofgeneral

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	625,5 ko	2 140,0 ko	[liste des fichiers]