Skip to content

Add version of Voting.tla that can be analyzed by Apalache. #281

Add version of Voting.tla that can be analyzed by Apalache.

Add version of Voting.tla that can be analyzed by Apalache. #281