logic

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

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

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

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

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

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

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

A logic circuit simulator.

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.

Find intuitionistic counter-models for classical tautologies.

An automated system for Tableaux methods.

Implementation of components of a computer processor, written in hdl (output files also included as .cmp files).

A class I followed about modelling and verifying a lock in UPPAAL.

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