Stream: General

Topic: isabelle-linter in nixpkgs

view this post on Zulip Jan van Brügge (Mar 29 2022 at 08:28):

It is now possible to install the isabelle linter component directly via nixpkgs. Just install isabelle.withComponents (p: [ p.isabelle-linter ]). Currently only in nixos-unstable

view this post on Zulip Wolfgang Jeltsch (Mar 29 2022 at 14:42):

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: Apr 18 2024 at 20:16 UTC