PyPI page Home page
Author:
Manuel Lerchner
Summary:
Linting, formatting, and project analysis for Isabelle/Isar, without running Isabelle.
Latest version:
0.10.0
Downloads last day:
11
Downloads last week:
255
Downloads last month:
1,016
7-day smoothing