lean-tui 1.1.0

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

{
  craneLib,
  lean-tui,
  recordingProject,
}:
{
  build-lean-tui = lean-tui;
  build-recording-project = recordingProject;
  tests = craneLib.cargoTest (lean-tui.cargoArgs // { inherit (lean-tui) cargoArtifacts; });
  fmt = craneLib.cargoFmt { inherit (lean-tui.cargoArgs) src; };
}