ctan-ann - temporal-logicAnnouncements of the Comprehensive TeX Archive Networkctan-ann-temporal-logic2026-09-11T06:04:42ZNew on CTAN: temporal-logicZxJth2LSomZLHhUj@prptp2024-10-18T14:15:35ZDominik Schmid submitted the
temporal-logic
package.
...
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
Logic (MTL), Metric First-order Temporal Logic (MFOTL), and the
...
]]>
CTAN Announcementsctan-ann at ctan.org CTAN update: temporal-logiccf04229d-f078-c0b9-db16-ddbeff8dc80d@ctan.org2026-01-07T15:57:30ZDominik Schmid submitted an update to the
temporal-logic
package.
...
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.
...
]]>
CTAN Announcementsctan-ann at ctan.org