L

logic

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

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!

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