yandes

We have hosted the application yandes in order to run this application in our online workstations with Wine or directly.

Quick description about yandes:

YANDES - Yet Another Natural Deduction System.


User interface: Web-based.
Programming Language: Prolog.
Categories: