Skip to content

GitLab

Explore

Sign in
Register

E

elan

Project information

tool for managing installations of the Lean theorem prover

94 Commits
3 Branches
69 Tags

README
Apache License 2.0
CHANGELOG

Created on

August 02, 2021

Copy SSH clone URLgit@salsa.debian.org:debian/elan.git
Copy HTTPS clone URLhttp://salsa.debian.org/debian/elan.git

Loading