tools-for-teaching-logic

Tools for teaching logic

A list of tools for teaching logic

Solvers

Proof systems

Program verification

Model checkers for temporal logics

Modelling

Multi-agent systems