Geeks
lattice0
/
lean4_devcontainer
LEAN devcontainer
Primary Language
Dockerfile
lean4_devcontainer GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Lean4 theorem prover Devcontainer
LEAN4 devcontainer
lake init project_name lake run