Sign inSign up

wkarpiel/aya

By wkarpiel

•Updated almost 2 years ago

Aya proof assistant

Image
Languages & frameworks
0

1.0K

wkarpiel/aya repository overview

Aya proof assistant⁠

To run Aya REPL:

docker run --rm -it docker.io/wkarpiel/aya:latest --interactive

Note: this not an official image, see this Github issue⁠

Tag summary

Content type

Image

Digest

sha256:444990594…

Size

70.4 MB

Last updated

almost 2 years ago

docker pull wkarpiel/aya