Skip to content
Open-Source Registry

Search 1 packages

found
reviewed
build behaviour
Packages1–1 of 1VersionRiskVulnsDescriptionDownloadsWhen
lean-tui cargo1.1.0highmediumStandalone TUI infoview for Lean 4 theorem prover9802d ago