L

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 computational algebra library which provides tools to apply correspondence theory to arbitrary classes of heterogeneous algebras.

Exercises, notes and code.

Esercizi, appunti e codice.

Find intuitionistic counter-models for classical tautologies.

An automated system for Tableaux methods.

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