fodot__source
Helpful commands to work with the FODOT
- Version:
- 0.0.1
- Copyright:
- Christian Fleiner
- License:
- lppl1.3c
- Packaged on:
- 08/30/2025 12:00:58
- Number of files:
- 2
- Size on disk:
- 11.1 kB
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/.