A formal proof generator for the system of Fitch. Apart from Fitch diagrams it can also be used to generate truth tables or tree diagrams. Good support for hints and single-stepping. This program is used as the engine behind http://logica.ewi.tudelft.nl.

Project Activity

See All Activity >

Categories

Scientific/Engineering, Computer Aided Instruction (CAI)

License

GNU General Public License version 2.0 (GPLv2)

Follow TUurlijk

TUurlijk Web Site

You Might Also Like
Red Hat Ansible Automation Platform on Microsoft Azure Icon
Red Hat Ansible Automation Platform on Microsoft Azure

Red Hat Ansible Automation Platform on Azure allows you to quickly deploy, automate, and manage resources securely and at scale.

Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
Learn More
Rate This Project
Login To Rate This Project

User Ratings

5.0 out of 5 stars
★★★★★
★★★★
★★★
★★
★
1
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:
All
  • tfileme Posted 2013-05-13
    Thanks for good program!
    2 users found this review helpful.
Read more reviews >

Additional Project Details

Operating Systems

Linux, BSD, Windows

Languages

Dutch, English

Intended Audience

Education

User Interface

Java AWT, Web-based

Programming Language

C++

Related Categories

C++ Scientific Engineering, C++ Computer Aided Instruction (CAI) Software

Registered

2006-04-05
Report inappropriate content