vscode-lean

Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language. (by leanprover)

Vscode-lean Alternatives

Similar projects and alternatives to vscode-lean

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better vscode-lean alternative or higher similarity.

vscode-lean reviews and mentions

Posts with mentions or reviews of vscode-lean. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-10-27.

Stats

Basic vscode-lean repo stats
2
119
2.9
6 months ago

leanprover/vscode-lean is an open source project licensed under Apache License 2.0 which is an OSI approved license.

The primary programming language of vscode-lean is TypeScript.

The modern identity platform for B2B SaaS
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
workos.com