Sign inSign up

pcapriotti/agda

By pcapriotti

•Updated over 7 years ago

Agda

Image
0

1.0K

pcapriotti/agda repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

Size

705.2 MB

Last updated

over 7 years ago

docker pull pcapriotti/agda