Sign inSign up

aliaume/polycheck

By aliaume

•Updated over 1 year ago

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

Image
Languages & frameworks
Developer tools
0

467

Tags for aliaume/polycheck

Sort by

TAG

latest

Last pushed over 1 year by aliaume

docker pull aliaume/polycheck:latest
DigestOS/ARCHCompressed size

d0d4d9836b15

linux/amd64

1.1 GB