elan
by leanprover
The Lean version manager
AI summary
Version manager
A tool for managing Lean theorem prover installations and versions.
- stars
- 325
- forks
- 36
- watching
- 15
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Version manager
A tool to manage and switch between different versions of the Protocol Buffers compiler
Version manager
A cross-platform Node.js version manager implemented in Rust.
Version manager
A tool to manage different versions of the Swift programming language
Version manager
A plugin for managing version numbers in Git using the Semantic Versioning scheme
Version manager
A tool to manage Elixir versions and environments.
Version manager
A utility for managing different compiler versions used in software development
Dependency manager
A tool to simplify dependency management and version updates in Gradle projects
Version manager
A version manager for Neovim that simplifies the process of installing and switching between different versions.
Version manager
Automates versioning and changelog generation for software projects
Version manager
A tool to help manage and bump release versions in a project
version manager
A cross-platform version manager for multiple programming languages and tools
Version manager
A tool to manage multiple Julia environments and versions.
version manager
A C++ library for managing and manipulating semantic versioning information
Version manager
A tool that helps manage different versions of software tools across projects and teams
Version manager
Automates version updates for mobile applications across multiple platforms using semantic versioning.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions elan.
