Announcements for fodot

fodot – Helpful commands to work with the FODOT

This package provides helpful commands to work with the fodot language in LaTeX including syntax highlighting in listings. The fodot language itself is not introduced. Instead, please refer to the official documentation:

• Official documentation of fodot: https://fo-dot.readthedocs.io/en/latest/FO-dot.html
• Technical implementation of fodot: https://docs.idp-z3.be/en/stable/introduction.html
• Reasoning engine IDP-Z3 (using fodot): https://idp-z3.be/.

Package	fodot
Version	0.0.1 2025-08-29
Copyright	2025 Christian Fleiner
Maintainer	Christian Fleiner

Atom Atom 1.0 feed with announcements for package fodot.
RSS RSS 2.0 feed with announcements for package fodot.