Ankündigungen für 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/.
| Paket | fodot |
| Version | 0.0.1 2025-08-29 |
| Copyright | 2025 Christian Fleiner |
| Betreuer | Christian Fleiner |
Atom Atom-1.0-Feed mit Ankündigungen für das Paket fodot.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket fodot.