ctan-ann - temporal-logic https://www.ctan.org/ctan-ann/rss/temporal-logic.xml CTAN announcements mailing list - for package temporal-logic Fri, 11 Sep 2026 06:52:40 +0200 en-US 60 webmaster@ctan.org (Comprehensive TeX Archive Network) Comprehensive TeX Archive Network https://www.ctan.org/assets/favicon/android-chrome-48x48.png https://www.ctan.org/ctan-ann/rss/temporal-logic.xml New on CTAN: temporal-logic https://www.ctan.org/ctan-ann/id/ZxJth2LSomZLHhUj@prptp Dominik Schmid submitted the temporal-logic package. Version: 1.0 2024-10-17 License: lppl1.3c Summary description: Symbols for Temporal Logics Announcement text:
The temporal-logic package defines functions for rendering temporal operators defined in Linear Temporal Logic (LTL), Metric Temporal ... ]]> Fri, 18 Oct 2024 14:15:35 +0200 https://www.ctan.org/ctan-ann/id/ZxJth2LSomZLHhUj@prptp CTAN update: temporal-logic https://www.ctan.org/ctan-ann/id/cf04229d-f078-c0b9-db16-ddbeff8dc80d@ctan.org Dominik Schmid submitted an update to the temporal-logic package. Version number: 1.1 2026-01-06 License type: lppl1.3c Summary description: Symbols for Temporal Logics Announcement text:
Added a wider range of operators and different display styles via package options. ... ]]> Wed, 07 Jan 2026 15:57:30 +0100 https://www.ctan.org/ctan-ann/id/cf04229d-f078-c0b9-db16-ddbeff8dc80d@ctan.org