Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Sam Estep
lean-docker
Repository
lean-docker
Dockerfile
Find file
Blame
History
Permalink
Use leanprover-community instructions
· 8846c6c9
Sam Estep
authored
Jul 24, 2020
8846c6c9