TUurlijk

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 >

License

GNU General Public License version 2.0 (GPLv2)

Follow TUurlijk

TUurlijk Web Site

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

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.

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

Similar Business Software

Titan

Titan is the all-in-one, Salesforce-first platform for building customer-facing workflows directly on Salesforce. Create portals, forms, surveys, document generation, eSignatures, and contract processes that write back in real time, keeping Salesforce as your system of record. Titan AI turns...

See Software
Rise Vision

Rise Vision is the all-in-one platform for digital signage, screen sharing, and emergency alerts designed to help organizations communicate, teach, collaborate, and improve safety. The cloud-based system integrates digital signage, interactive digital signage, screen sharing, and emergency...

See Software
Bookinglayer

Bookinglayer is an all-in-one booking management system built for retreat centers, boutique hotels, surf camps, wellness resorts, and others offering experiences alongside stays. Designed to increase average booking value, save time, and reduce errors, Bookinglayer helps you scale with ease....

See Software
Gradelink SIS

Help your school save time, increase enrollment, and achieve its mission with Gradelink. An award-winning student information system and school management system, Gradelink school management software system is suitable for Preschool through High school. Gradelink is a great fit for higher...

See Software
Coursebox AI

Transform your content into engaging eLearning experiences with Coursebox, the #1 AI-powered eLearning authoring tool. Our platform automates the course creation process, allowing you to design a structured course in seconds. Simply make edits, add any missing elements, and your course is ready...

See Software
TelemetryTV

TelemetryTV is a powerful digital signage platform built for the modern organization who needs to engage audiences, generate awareness, and give their teams and communities a voice. TelemetryTV allows users to broadcast dynamic content easily by streaming video, images, social feeds,...

See Software