Skip to content

Réorganisation des règles classiques

Yann Salmon requested to merge ysalmon/dedunat:classical into main

Plutôt qu'une seule règle Classical qui est en fait le tiers exclu, j'ai mis les trois règles habituelles : tiers exclu, double négation et raisonnement par l'absurde.

Merge request reports