Skip to content

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

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

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