flake.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

{
  description = "Symbolic Modal Logic in Lean4";
  inputs = {
    nixpkgs = {
      url = "github:nixos/nixpkgs/nixpkgs-unstable";
    };
    flake-utils = {
      url = "github:numtide/flake-utils";
    };
  };
  outputs = { self, nixpkgs, flake-utils }: flake-utils.lib.eachDefaultSystem (system:
    let
      pkgs = import nixpkgs { inherit system; };
      lean-shell = pkgs.mkShell {
        name = "Lean";
        packages = [ pkgs.lean4 ];
      };
    in {
    devShells = {
      default = lean-shell;
      lean = lean-shell;
    };
  });
}