ADENA - Assistente p/ Dedução Natural

Add a Review
0 Downloads (This Week)
Last Update:

Description

This project consists in the development of a kind of system known as Proof Assistant.The aim is to let the user prove any formula or a set of formula from Propositional Logic using Natural Deduction.

ADENA - Assistente p/ Dedução Natural Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of ADENA - Assistente p/ Dedução Natural!

Additional Project Details

Intended Audience

Education, End Users/Desktop

User Interface

Win32 (MS Windows)

Programming Language

C++

Registered

2008-03-26
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.