L

logic

Logical concept analysis MCP server - break through confused thinking with structured decomposition. Uses Wittgenstein's Tractatus method to show WHAT something is (not HOW to do it) by revealing hidden dependencies and multiplicative requirements that sequential thinking misses.

A multiplayer reaction game: train your mind and your reflexes while having fun!

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

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

IISc Bangalore - MLTP Programming Assignment template

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

Proof Rondo is a TypeScript-based, first-order logic (FOL) proof verifier.

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

A simple logic game: find the best path to delete every number in a square space

A computational algebra library which provides tools to apply correspondence theory to arbitrary classes of heterogeneous algebras.

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

IDP3-IDE is an IDE based on webID for knowledge base system IDP3.

Classical logic truth table magma algebra

This Is only Logic Done By Tail Recursion

Logic node pack for Koui and Armory3D.

Implementation of Martelli-Montanari algorithm in Prolog.

An educational web application to practice logical thinking by building simple games based on static screens and text choices.

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

Projetos Digitais - UFPR

A constructive logic proof checker

Exercises, notes and code.

Esercizi, appunti e codice.