YANDES

alpha
Add a Review
1 Download (This Week)
Last Update:
Download yandes-0.52.tar.gz
Browse All Files
Windows BSD Linux

Description

YANDES - Yet Another Natural Deduction System

YANDES Web Site

KEEP ME UPDATED

Write a Review

User Reviews

Be the first to post a review of YANDES!

Additional Project Details

Languages

English, Spanish

User Interface

Web-based

Programming Language

Prolog

Registered

2003-09-28
Screenshots can attract more users to your project.
Features can attract more users to your project.