Skip to content
Back to pull request #76

spec: Refactor votekeeper using quint's new sum types #156

Sign in to view logs

spec: Refactor votekeeper using quint's new sum types

spec: Refactor votekeeper using quint's new sum types #156

The logs for this run have expired and are no longer available.