Geeks
Seasawher
/
docker-lean4
Ubuntu base docker images of lean4 theorem prover
Primary Language
Dockerfile
MIT License
MIT
docker-lean4 GitHub
Markdown
Readme
6
Issues
1
Stargazer
2
Watchers
Watchers
eemailme
Seasawher
Proxima Technology