pcapriotti/agda

•Updated almost 8 years ago

Agda

Image

1.0K

Tags for pcapriotti/agda

Sort by

TAG

latest

Last pushed almost 8 years by pcapriotti

docker pull pcapriotti/agda:latest

Digest	OS/ARCH	Compressed size
a32965f2ab34	linux/amd64	705.17 MB