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.
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 details)
Built Distribution
folint-1.0.3-py3-none-any.whl
(65.1 kB
view details)
File details
Details for the file folint-1.0.3.tar.gz.
File metadata
- Download URL: folint-1.0.3.tar.gz
- Upload date:
- Size: 58.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.7.1 importlib_metadata/4.8.3 pkginfo/1.8.2 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.10.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | a47f09ce5e05054fbdb3f016df60ef19885526c3560dbf64fc70a81775f2526c |
|
| MD5 | 6abb0ccf6c46fe385d03dc61301acf46 |
|
| BLAKE2b-256 | 260f3bf0296bdf474a76f01a0e86a7112941b9adc5a6cdd73b40c67e8a674a3b |
File details
Details for the file folint-1.0.3-py3-none-any.whl.
File metadata
- Download URL: folint-1.0.3-py3-none-any.whl
- Upload date:
- Size: 65.1 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.7.1 importlib_metadata/4.8.3 pkginfo/1.8.2 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.10.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | f066efe650ee39d3c977288cd0405ba88f2d55f4e5a1d91b83f3b478ce72e5c1 |
|
| MD5 | 3e81e279aff01f6c0c285320ccdb6ecf |
|
| BLAKE2b-256 | 53875751ce5ba92b50eb3a2954aa18e35e3e79652deaaea6ede8b5c180719fe3 |
