L

logic

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

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

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.

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.

A library for solving problems using tables