Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
lean-docker
Docker for the Lean Theorem Prover
Other
Emerging
GitHub
Stars
—
Forks
1
Contributors
1
Last push
115mo ago
Recent commits
Latest commits.
remove redundant line
1cd019e
Fabricio Rosario
115mo ago
fixed ssh
b8d2301
Fabricio Rosario
115mo ago
typo
110d6c2
Fabricio Rosario
115mo ago
YMMV
1d1ebff
Fabricio Rosario
115mo ago
better README
a884747
Fabricio Rosario
115mo ago
initial checkin
02aab46
Fabricio Rosario
115mo ago
Initial commit
0d8a81e
Fabricio Chalub
115mo ago
Top contributors
Builders behind this project.
fcbr
1 commits
