[ProfSio] Mises à jour 0.1.6 & 0.1.7 (21 & 25 septembre 2023)
Rédigé par C. Pierquet
Aucun commentaire
Classé dans : Packages
Petites mises à jour du package ProfSio (0.1.6 & 0.1.7), bientôt disponible sur le CTAN, TeXlive ou MikTeX.
Au programme de ces mises à jour, qui se concentrent sur les expressions booléennes :
- correction de simplifications ;
- possibilités de simplifier automatiquement une expression booléenne donnée par ses mintermes (sous une forme imposée).