lean-tui 1.1.0

Standalone TUI infoview for Lean 4 theorem prover
1
2
3
4
5
6
7
8
9
10
11

{ lib, manifest }:
let
  leanPrismPin = lib.findFirst (
    package: package.name == "LeanPrism"
  ) (throw "LeanPrism missing from ${toString manifest}") (lib.importJSON manifest).packages;
  leanPrismSource = builtins.fetchGit {
    inherit (leanPrismPin) url rev;
    shallow = true;
  };
in
"${leanPrismSource}/protocol-schema.json"