fstar-ci-base latest Public Latest
Install from the command line
Learn more about packages
$ docker pull ghcr.io/fstarlang/fstar-ci-base:latest
Recent tagged image versions
- 7 Version downloads
Loading
Sorry, something went wrong.
Details
- FStarLang
- FStar
- Apache License 2.0
- 2.7k stars
Last published
4 months ago
Discussions
63
Issues
541
Total downloads