L

logic

IISc Bangalore - MLTP Programming Assignment template

E0 205: Mathematical Logic and Theorem Proving (2025 Jan)

Engine for cDMN, a more expressive extension of Decision Model and Notation

Logic node pack for Koui and Armory3D.

First Order Logic Learning Environment: accessible and fun way to sharpen logical reasoning skills.

A symbolic model checker for the single-agent plausibility models of dynamic epistemic logic

Interactive and multi-purpose DMN modeler and engine, powered by the IDP-Z3 system.

Find intuitionistic counter-models for classical tautologies.

An automated system for Tableaux methods.