L

lean-docker

Project information

Docker for the Lean Theorem Prover

12 Commits
1 Branch
0 Tags

README
Apache License 2.0

Created on

August 05, 2020

Loading