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