Statut : 1-À faire1
coqide.desktop possède 0/32 éléments traduits et son contenu est traduit3 à 0%
Adresses du projet : homepage help bugtracker
Chaînes
| Champ | Anglais | Français |
|---|---|---|
| name | coqide | |
| summary | Coq graphical interface | |
| description | Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system.This package provides Coqide, a lightweight IDE for Coq. |
Téléchargement du fichier XML source4 : coqide.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/ ! ↩