Nix: add isabelle devShell and CI build of the Isabelle proofs #1144

mkannwischer merged 1 commit into

mainpq-code-package/mldsa-native:mainfrom

isabelle-nix-shellpq-code-package/mldsa-native:isabelle-nix-shellCopy head branch name to clipboard