Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. Lurch

Lurch 0.4

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎1 ‎Votes
Télécharger

Logiciel pour l’enseignement et l’apprentissage des preuves mathématiques Là où la plupart des logiciels de preuve mathématique se concentre sur la logique formelle (ou un autre domaine spécialisé des mathématiques), Lurch vise à être vraiment polyvalent, avec une interface utilisateur attracitve.

historique de la version

  • Version 0.4 posté sur 2010-09-22
    Plusieurs correctifs et mises à jour
  • Version 0.4 posté sur 2010-09-22

Détails du programme

Programmes connexes

  • TOTAL .NET Protector Essai gratuit

    Étant donné que .NET est un environnement géré, il ya toujours l’inconvénient d’avoir votre code ouvert à toute personne utilisant Reflector ou Réfractaire.Skater TOTAL convertit le code microsoft intermediate languagecompi

  • Ziga Gratuit

    Une application de partage de fichiers écrite en Java. Il utilise des modules pour prendre en charge différents protocoles. En ce moment il y a un module pour le protocole Napster et Gnutella disponible.

  • Scriptol Xul Dev Gratuit

    Xul Dev signifie pour l’environnement de développement Xul. L’IDE est destiné à concevoir des interfaces Xul et à faire des programmes dans n’importe quel langage de programmation. L’IDE est écrit dans Scriptol C++ et disponi

  • cmpio library Gratuit

    Libcmpio est une bibliothèque à usage général, qui fournit un moyen facile de manipuler les fichiers de données avec une longueur d’enregistrement variable, compression des enregistrements, création de volume transparent et l

  • Nuke My Tablet Essai gratuit

    Nuke My Tablet protège votre vie privée en supprimant en toute sécurité vos données personnelles, telles que des photos et des vidéos, et en renvoyant votre téléphone dans les paramètres de l’usine. Maintenant, vous pouvez ré

  • the prefuse visualization toolkit Gratuit

    Outils logiciels pour la construction d’applications interactives de visualisation de l’information. Prefuse prend en charge un riche ensemble de fonctionnalités pour la modélisation des données, la visualisation, l’animation

  • AJIO Gratuit

    AJIO permet de construire des bocaux à partir d’une ou plusieurs classes. Le fichier jar créé contient toutes les classes à charge de tous les fichiers pot référencés.AJIO permet de crer UN jar partir d’une ou plusieurs c

  • AdaDLX Gratuit

    Il s’agit d’une mise en œuvre Ada de l’algorithme Dancing Links X comme dans l’article de Donald E. Knuth. AdaDLX est utilisé pour résoudre le puzzle eight-queens, grilles Sudoku et Blocs dans box puzzle.

  • Php5 Meta-Model Gratuit

    Le modèle Php 5. Ce projet accueille l’ecore Php 5 Model et son générateur.

  • Spyc Gratuit

    Spyc est une simple classe de chargeuse/dumper YAML pour PHP. Il peut être utilisé pour charger des fichiers YAML dans des structures de données PHP ou pour vider les tableaux PHP vers de simples YAML. Pour en savoir plus sur