Sign inSign up

eucm/formalz-fchecker

Sponsored OSS

By Universidad Complutense de Madrid

•Updated about 6 years ago

FormalZ fchecker software docker image (https://github.com/FormalZ/fchecker)

Image
Languages & frameworks
Integration & delivery
0

1.4K

eucm/formalz-fchecker repository overview

⁠formalz-fchecker-docker

FormalZ fchecker software docker image (https://github.com/FormalZ/fchecker⁠)

⁠Patreons

A special thanks to our patreons for supporting this project:

Universidad Complutense de Madrid logo ⁠ IMPRESS Logo ⁠ Erasmus+ Program Logo ⁠

⁠License

This project is licensed under the Apache 2.0 License - see the LICENSE⁠ file for details.

Tag summary

Content type

Image

Digest

Size

47.3 MB

Last updated

about 6 years ago

docker pull eucm/formalz-fchecker

This week's pulls

Pulls:

167

Last week

Learn more⁠