L

logic

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

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

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

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

A tool for translate well-formed-formulas of propositional calculus into Begriffsschrift notation.