aliaume/polycheck

•Updated over 1 year ago

Polyregular Functions Model Checking in Haskell. This is a dev container.

Image

Languages & frameworks

Developer tools

467

aliaume/polycheck repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:d0d4d9836…

Size

1.1 GB

Last updated

over 1 year ago

docker pull aliaume/polycheck