Giters
Seasawher
/
docker-lean4
Ubuntu base docker images of lean4 theorem prover
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
2
Issues:
6
Forks:
1
Seasawher/docker-lean4 Issues
change tag name to `nightly`
Closed
a year ago
nightly build nightly image
Closed
a year ago
change image name `lean` to `lean4`
Closed
a year ago
lean4:stable support
Closed
a year ago
Create a devcontainer feature
Closed
a year ago
Comments count
1
Push image to docker hub
Closed
a year ago
Comments count
1