Ajout de Proposition (Variable, Not, And, Or et evaluations). Tests dans le... (!1) · Requêtes de fusion · Emmanuel STALDER / model-checking

Emmanuel STALDER a demandé de fusionner LogiqueProp vers master oct. 22, 2024

Ajout de Proposition (Variable, Not, And, Or et evaluations). Tests dans le main ok. Changement de place de include

Ajout de Proposition (Variable, Not, And, Or et evaluations). Tests dans le...