Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. Lurch

Lurch 0.4

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.0/5 - ‎1 ‎Stemmen
Downloaden

Software voor het onderwijzen en leren van wiskundige bewijzen Waar de meeste wiskundige proof software zich concentreert op formele logica (of een ander specialiteit gebied van de wiskunde), Lurch streeft naar echt algemeen doel, met een attracitve user interface.

versiegeschiedenis

  • Versie 0.4 geplaatst op 2010-09-22
    Verschillende oplossingen en updates
  • Versie 0.4 geplaatst op 2010-09-22

Programmadetails

Gerelateerde programma's

  • TOTAL .NET Protector Gratis proefperiode

    Aangezien .NET een beheerde omgeving is, is er altijd het nadeel van het open stellen van uw code voor iedereen die Reflector of Refractor gebruikt.Skater TOTAL zet de decompilable Microsoft Intermediate Language code (MSIL

  • Ziga Gratis

    Een fileharing applicatie geschreven in Java. Het maakt gebruik van modules om verschillende protocollen te ondersteunen. Op dit moment is er een module voor het Napster en Gnutella protocol beschikbaar.

  • Scriptol Xul Dev Gratis

    Xul Dev betekent voor Xul ontwikkelomgeving. De IDE is bedoeld om Xul interfaces te ontwerpen en om programma's te maken in elke programmeertaal. De IDE is geschreven in Scriptol C++ en beschikbaar in bronvorm en als binair u

  • cmpio library Gratis

    Libcmpio is een bibliotheek voor algemeen gebruik, die een eenvoudige manier biedt om gegevensbestanden te manipuleren met variabele recordlengte, recordcompressie, transparante volumecreatie en -controle en draagbaarheid tus

  • Nuke My Tablet Gratis proefperiode

    Nuke My Tablet beschermt uw privacy door uw persoonlijke gegevens, zoals foto's en video's, te verwijderen en uw telefoon terug te brengen naar de fabrieksinstellingen. Nu u oude apparaten veilig hergebruiken of uw huidige ap

  • the prefuse visualization toolkit Gratis

    Softwaretools voor het bouwen van interactieve informatievisualisatietoepassingen. Prefuse ondersteunt een uitgebreide set functies voor gegevensmodellering, visualisatie, animatie en interactie voor zowel Java (prefuse) als

  • AJIO Gratis

    AJIO maakt het mogelijk om potten te bouwen van één of meerdere klassen. Het gemaakte jar-bestand bevat alle afhankelijke klassen van alle genoemde jar-bestanden.AJIO permet de crer UN jar partir d'une ou plusieurs classe

  • AdaDLX Gratis

    Dit is een Ada implementatie van de Dancing Links X Algoritme zoals in Donald E. Knuth papier. AdaDLX wordt gebruikt om de Eight-Queens puzzel, Sudoku roosters en Blocs in Box puzzel op te lossen.

  • Php5 Meta-Model Gratis

    De Php 5 Model. Dit project is gastheer van de ecore Php 5 Model en de generator.

  • Spyc Gratis

    Spyc is een eenvoudige YAML loader / dumper klasse voor PHP. Het kan worden gebruikt om YAML-bestanden in PHP-gegevensstructuren te laden of om PHP-arrays te dumpen naar eenvoudige YAML. Zie www.yaml.org voor meer informatie