mathiask/agda

•Updated 4 months ago

You can mount a local directory or volume on /src in the container.

Image

715

mathiask/agda repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:16292ad4b…

Size

696.8 MB

Last updated

4 months ago

docker pull mathiask/agda