L

logic

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

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

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.

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.

Exercises, notes and code.

Esercizi, appunti e codice.