isabelle-lint

Linting for Isabelle sources

Installation

Works with a reasonably recent development version of Isabelle, or Isabelle2018-RC1.

1. Clone this repository to some location.
2. Register that location as a component.

For example (development version):

$ git clone ...
$ cd isabelle-lint
$ pwd >> ~/.isabelle/etc/components

Usage

$ isabelle lint -a