lean-tui 0.0.6

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

import Lake
open Lake DSL

package «lean-tui-test» where
  version := v!"0.1.0"

require Paperproof from git
  "https://github.com/Paper-Proof/paperproof.git" @ "main" / "lean"

require mathlib from git
  "https://github.com/leanprover-community/mathlib4.git"

@[default_target]
lean_lib «Test» where
  roots := #[`test]