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

Loading