1. 1
2. 2
3. 3
4. 4

{ pkgs ? import <nixpkgs> { } }:
with pkgs; mkShell {
  buildInputs = [ sqlite lean4 clang ];
}