Submit Software
  1. Home
  2. Windows
  3. Other
  4. Jape

Jape

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes
Download

Jape is a configurable graphical formal-proof calculator. It's possible to define a logic, decide how your users will view their proofs, and much more. It works with variants of the sequent calculus and natural deduction. Mac, Unix, Windows.

VERSION HISTORY

  • Version N/A posted on 2011-08-11
    Several fixes and updates
  • Version N/A posted on 2011-08-11

Program Details

Related Programs

  • Amazing Dialer Free Trial

    Congratulations on obtaining Amazing Dialer, the most feature-rich and user-friendly dialing software for Windows! This powerful program provides everything you need for working with the dial-up Internet connection. If you ex

  • WW.com Webcam Free

    WW.com ( World of Webcams ) Webcam puts your camera stream on the web instantly. Get a free web cam homepage and instantly meet and chat with other webcams on ww.com. Works with any PC Camera. Also, your free webcam page on w

  • MSN Emoticons - Love Free

    Msn Emoticons Alien emoticons easy to use integrate them in any convo use them with your friend family or co workers make the convo more interesting with cool emoticons.

  • LIVE Streaming, Online Broadcast Monitor Free

    Gather up to 25 live streaming channels from Livestream.com, Blogtv.com, uStream.tv, Justin.tv, Stickam USA, Stickam Japan, Microsoft Media Server (MMS) services and Motion JPEG video stream in one and only page.

  • Torque Themes & Editor (OBD 2) Free Trial

    The First of 4 Packs ***** 12 Cool Torque Themes - for Torque Pro and Lite Free versions. Easy Install, one button push.Bundle and Save! Theme Pack 1-- OriginalTheme Pack 2 -- Fire and Metal ; Theme Pack 3 --Carbon Nitrous ;

  • Web Messenger Free Trial

    GChat Web Messenger is a fully featured communications tool, suitable for integration with a variety of forums and websites. It can also be deployed as a standalone support tool, providing 1-to-1, voice and video chat custome

  • AdRem iTools Free Trial

    AdRem iTools 2007 is an essential networking toolset that combines diagnostic utilities such as Ping, Traceroute, DNS Lookup, SNMP viewer, port/network, bandwidth scanner, and more. All of them are available from a windows-dr

  • .hack Server modded Mangos Core & SD2 Free

    Mangos core & SD2 compiled with Chrnp Lawliet. Modify on .hack Server core & scripts mangos wow server.

  • Bookmarks WebMaker Free Trial

    Bookmarks WebMaker allows you to make an entire website with links to your internet explorer favorites.Using this software you will be able to easily access your favorite webs through your internet browser, publish online an

  • "> Free

    This program is an open source software free for both personal and commercial use, thus the perfect choice for those that want an alternative for more well-known paid programs.