Search 1 packages
| Packages1–1 of 1 | Version | Risk | Vulns | Description | Downloads | When |
|---|---|---|---|---|---|---|
| lean-tui cargo | 1.1.0 | high | medium | Standalone TUI infoview for Lean 4 theorem prover | 980 | 2d ago |
Open-Source Registry
| Packages1–1 of 1 | Version | Risk | Vulns | Description | Downloads | When |
|---|---|---|---|---|---|---|
| lean-tui cargo | 1.1.0 | high | medium | Standalone TUI infoview for Lean 4 theorem prover | 980 | 2d ago |