Formally verified mathematical foundations for multi-agent AI coordination
pypepa - Python toolset for PEPA