peregrine

peregrine

Verification of Population Protocols

Project ID: 10067
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...