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.2.tar.gz
(57.6 kB
view details)
Built Distribution
folint-1.0.2-py3-none-any.whl
(64.7 kB
view details)
File details
Details for the file folint-1.0.2.tar.gz.
File metadata
- Download URL: folint-1.0.2.tar.gz
- Upload date:
- Size: 57.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.10.5
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 9323740b92879fc446f68601397f7eaedc051fa14230b77e7fbdcdabd5c4c09e |
|
| MD5 | bba80c675934ea1a915eb6ee528c2d72 |
|
| BLAKE2b-256 | 5ff725ff9db494964dd498ea91c4935f083588635e65b6cef4e24e20c539fc9b |
File details
Details for the file folint-1.0.2-py3-none-any.whl.
File metadata
- Download URL: folint-1.0.2-py3-none-any.whl
- Upload date:
- Size: 64.7 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.10.5
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 00010ba541c41f03ce8ce28993dc5b0cf3403b08c128556021d4372208b52c66 |
|
| MD5 | 3673e3efda476932ba44a610ce5fef52 |
|
| BLAKE2b-256 | bf89c40ab10c01fb963bd4306dc7c14f462635fa9b5997da3cfccfd016b69101 |
