Simple tools for teaching logic are presented.
These softwares are made available to all, with the support of the VERIMAG laboratory.
Last change : 27-Feb-2023