Skip to content

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

ca31bc3
Select commit
Loading
Failed to load commit list.
Merged

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

Nix: add isabelle devShell and CI build of the Isabelle proofs
ca31bc3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar