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

Other Useful Business Software
Ship Agents Faster Icon
Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
Start Free
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

BSD, Linux, 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