New on CTAN: propositions

· Ctan · Aug. 4, 2026, 12:15 p.m.
CTAN LaTeX propositions packaging
Summary
Cian Dorr has submitted a new package called 'propositions' to CTAN, providing users with new tools or enhancements related to logical propositions in typesetting or documentation systems.
Read full post on www.ctan.org →
AUTHOR