peregrine

peregrine

Verification of Population Protocols

Name
Last commit
Last update
benchmarks Loading commit data...
examples Loading commit data...
src Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
LICENSE.md Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
Setup.hs Loading commit data...
peregrine.cabal Loading commit data...