Statut : 1-À faire1
proofgeneral.desktop possède 0/32 éléments traduits et son contenu est traduit3 à 0%
Adresses du projet : homepage
Chaînes
| Champ | Anglais | Français |
|---|---|---|
| name | Proof General | |
| summary | Organise your proofs! | |
| description | Proof General is a generic front-end for proof assistants (also known as interactive theorem provers) based on Emacs. Proof General allows one to edit and submit a proof script to a proof assistant in an interactive manner:Proof General supports a number of different proof assistants (Isabelle, Coq, PhoX, and LEGO to name a few) and is designed to be easily extendable to work with others. |
Téléchargement du fichier XML source4 : proofgeneral.desktop
-
déduit sommairement des traductions en cours, avec une priorité pour un logiciel traduit à plus de 80%. ↩
-
on ne s'intérresse ici qu'au nom, au sous-titre et à la description. ↩
-
basé sur appstream glib qui indique dans son fichier as-translation n'inclure que les fichiers gettext et QT. ↩
-
il s'agit d'un extrait de https://alt.fedoraproject.org/pub/alt/screenshots/f24/ ! ↩