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.

Project Activity

See All Activity >

Follow ADENA - Assistente p/ Dedução Natural

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

Other Useful Business Software

The Sight of Sound The Sight of Sound Icon
The Sight of Sound Icon

­ Improve VoIP Visibility from SIP to RTP

Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, hybrid and UCaaS voice services. Try the ThousandEyes VoIP monitoring solution today, free.

Rate This Project

Login To Rate This Project

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