tchajed/ivy

•Updated over 2 years ago

Image for Ivy prover

Image

873

Tags for tchajed/ivy

Sort by

TAG

latest

Last pushed over 2 years by tchajed

docker pull tchajed/ivy:latest

Digest	OS/ARCH	Compressed size
45434decabad	linux/amd64	260.16 MB
5bca0f7e884d	linux/arm64	249.03 MB