It is now possible to install the isabelle linter component directly via nixpkgs. Just install
isabelle.withComponents (p: [ p.isabelle-linter ]). Currently only in
By chance, I just heard from this project from its author, whom I just met on the ZuriHac Discord. :grinning: Looks like a great project. I’ll probably use it for quality assurance via automated builds on GitHub.
Last updated: Dec 07 2023 at 08:19 UTC