ctan-ann - boolalg Announcements of the Comprehensive TeX Archive Network ctan-ann-boolalg 2026-10-24T12:53:10Z New on CTAN: boolalg 9c74e6eb-cfa4-dbad-1851-c5c703a6e8a8@ctan.org 2026-10-24T07:49:25Z Param Srivastava submitted the boolalg package. ... Param Srivastava submitted the boolalg package. Version: 1.0.0 License: lppl1.3c Summary description: Truth tables, step-by-step simplification, and algebraic proofs for Boolean Announcement text:
Initial release (v1.0.0) of the boolalg package. ... ]]> CTAN Announcements ctan-ann at ctan.org