Stream: General

Topic: Isabelle2022-RC2 for nixos

view this post on Zulip Jan van Brügge (Sep 19 2022 at 20:46):

In preparation for the release of Isabelle2022, I've created a draft PR for Isabelle2022-RC2 on nixpkgs and verified that it is working as expected:
If you want to test yourself, you can import it from there

Last updated: Dec 07 2023 at 08:19 UTC