lean-tui-0.5.1

docs.rs

Rust

lean-tui 0.5.1

Standalone TUI infoview for Lean 4 theorem prover

Crate
Source
Builds
Feature flags

.helix
imgs
Samples
src
tests
.cargo_vcs_info.json
.envrc
.gitignore
.harper-dictionary.txt
build.rs
Cargo.lock
Cargo.toml
Cargo.toml.orig
clippy.toml
CONTRIBUTING.md
flake.lock
flake.nix
lake-manifest.json
lakefile.lean
lean-toolchain
LICENSE
README.md
rust-toolchain.toml
rustfmt.toml
Samples.lean

1
2

[toolchain]
channel = "nightly"