logic

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

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

A logic circuit simulator.