Paquet : proofgeneral (4.4.1~pre170114-1.2)

[ 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-gtk

  éditeur de texte GNU Emacs avec interface graphique GTK+

• dep: mmm-mode

  modes majeurs multiples pour Emacs

• sug: proofgeneral-doc

  frontal générique pour des systèmes de manipulation de preuves – documentation

• sug: prooftree

  visualisation d’arbre de preuve pour Proof General

Télécharger proofgeneral

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	588,9 ko	2 036,0 ko	[liste des fichiers]