YANDES

YANDES - Yet Another Natural Deduction System

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow YANDES

YANDES Web Site

Other Useful Business Software

Atera - an All-in-one platform for IT management

Ideal for IT departments and MSPs (managed service providers)

Your IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!

Try Atera now

Rate This Project

User Reviews

Be the first to post a review of YANDES!

Additional Project Details

Operating Systems

BSD, Linux, Windows

Languages

English, Spanish

User Interface

Web-based

Programming Language

Prolog

Related Categories

Prolog Computer Aided Instruction (CAI) Software

Registered

2003-09-28

Similar Business Software

Odoo

Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few. Odoo...

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
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
myACI

ACI Learning delivers hands-on IT and cybersecurity training built for modern teams. Expert-led videos, interactive labs, and certification prep for today’s top credentials turn knowledge into real-world skill. Whether you’re training a team or advancing your career, myACI makes it easy to...

See Software
ClickUp

Every day your team loses hours bouncing between disconnected apps. The problem isn't your people. It's that your software was never built to work together. Bundling tools doesn't fix it. You need convergence. ClickUp is one platform where projects, docs, chat, goals, and AI share the...

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