Sign inSign up

phoevos/verifier

By phoevos

•Updated over 2 years ago

An Ubuntu Jammy image with CrossHair and icontract installed for verifying Python code.

Image
Languages & frameworks
Developer tools
0

982

Tags for phoevos/verifier

Sort by

TAG

latest

Last pushed over 2 years by phoevos

docker pull phoevos/verifier:latest
DigestOS/ARCHCompressed size

c592c9e3cb6d

linux/amd64

288.31 MB

3d0081fb4732

linux/arm64

256.24 MB