Linter for FOdot used in the IDP-Z3 system
Project description
README for FOLint
FOLint is a linting tool for FO(·) which looks for errors and helps enforcing a coding standard.
Documentation about FO(·) (https://fo-dot.readthedocs.io/en/latest/FO-dot.html)
Source code FOLint (https://github.com/larsver/folint)
Installation
pip install folint
FOLint in editors
Use of folint in editors, see folder folint-in-editors (https://github.com/larsver/folint)).
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
folint-0.0.2.tar.gz
(57.9 kB
view hashes)
Built Distribution
folint-0.0.2-py3-none-any.whl
(67.3 kB
view hashes)