Linter for FO-dot, used in the IDP-Z3 system
Project description
FOLint
FOLint is a linting tool for FO(·). Its functionality can be split up in four parts:
- Detection of syntax errors
- Detection of type errors
- Detection of typical formalization errors
- Enforcing a style guide
This project was initially started by Lars Vermeulen during his master thesis: https://github.com/larsver/folint
Installation
pip install folint
CLI usage
folint file.idp
FOLint in editors
FOLint can be integrated in many editors. A collection of guides are kept in the folint-in-editors folder.
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-1.0.3.tar.gz
(58.0 kB
view hashes)
Built Distribution
folint-1.0.3-py3-none-any.whl
(65.1 kB
view hashes)