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...
LICENSE.md Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
Setup.hs Loading commit data...
peregrine.cabal Loading commit data...