lean-tui 0.0.1

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

import Lake
open Lake DSL

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

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