Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Jape

Jape

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

Jape est une calculatrice graphique configurable à l’épreuve des formalités. Il est possible de définir une logique, de décider comment vos utilisateurs vont voir leurs preuves, et bien plus encore. Il fonctionne avec des variantes du calcul séquent et de la déduction naturelle. Mac, Unix, Windows.

historique de la version

  • Version N/A posté sur 2011-08-11
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-08-11

Détails du programme

Programmes connexes

  • Amazing Dialer Essai gratuit

    Félicitations pour l’obtention de Amazing Dialer, le logiciel de numérotation le plus riche en fonctionnalités et convivial pour Windows! Ce programme puissant fournit tout ce dont vous avez besoin pour travailler avec la con

  • WW.com Webcam Gratuit

    WW.com ( World of Webcams ) Webcam met votre flux d’appareil photo sur le web instantanément. Obtenez une page d’accueil web cam gratuite et rencontrez et discutez instantanément avec d’autres webcams ww.com. Fonctionne avec

  • MSN Emoticons - Love Gratuit

    Msn Emoticons Émoticônes exotiques faciles à utiliser les intégrer dans n’importe quelle convo les utiliser avec votre famille d’amis ou collègues de travail rendre la convo plus intéressant avec des émoticônes cool.

  • LIVE Streaming, Online Broadcast Monitor Gratuit

    Rassemblez jusqu’à 25 canaux de streaming en direct à partir des services Livestream.com, Blogtv.com, uStream.tv, Justin.tv, Stickam USA, Stickam Japan, Microsoft Media Server (MMS) et Motion JPEG en une seule et unique page.

  • Torque Themes & Editor (OBD 2) Essai gratuit

    Le premier des 4 packs ***** 12 thèmes de couple cool - pour les versions Torque Pro et Lite Free. Installation facile, une pression sur le bouton.Bundle et Enregistrer! Pack thématique 1-- OriginalPack thématique 2 -

  • Web Messenger Essai gratuit

    GChat Web Messenger est un outil de communication entièrement présenté, adapté à l’intégration avec une variété de forums et de sites Web. Il peut également être déployé comme un outil de support autonome, fournissant 1-to-1,

  • AdRem iTools Essai gratuit

    AdRem iTools 2007 est un jeu d’outils de réseautage essentiel qui combine des utilitaires diagnostiques tels que Ping, Traceroute, DNS Lookup, visionneuse SNMP, port/réseau, scanner de bande passante, et plus encore. Tous son

  • .hack Server modded Mangos Core & SD2 Gratuit

    Mangos core & SD2 compilé avec Chrnp Lawliet. Modifier sur .hack Server core & scripts mangos wow serveur.

  • Bookmarks WebMaker Essai gratuit

    Signets WebMaker vous permet de faire un site web entier avec des liens vers vos favoris explorateur internet.En utilisant ce logiciel, vous serez en mesure d’accéder facilement à vos webs préférés via votre navigateur Inte

  • "> Gratuit

    Ce programme est un logiciel open source gratuit pour un usage personnel et commercial, donc le choix parfait pour ceux qui veulent une alternative pour des programmes payants plus connus.