Skip to content

velcom/velcom-server latest Public Latest

Install from the command line
Learn more about packages
$ docker pull ghcr.io/leanprover/velcom/velcom-server:latest

Recent tagged image versions

  • latest
    Published 3 months ago · Digest
    sha256:9b4cb1db69d43f0a5e02395a4d80f0265bae13a9ef84f0404977b3723fd12cc2
    3 Version downloads
View all tagged versions

Loading

Details

Last published

3 months ago

Issues

4

Total downloads

8