L

logic

Logic node pack for Koui and Armory3D.

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

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.

IISc Bangalore - MLTP Programming Assignment template

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

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.

Projetos Digitais - UFPR

Find intuitionistic counter-models for classical tautologies.

An automated system for Tableaux methods.