An executable specification for the voteflux system.
It is intended to be a vehicle by which concrete aspects of the system can be discussed and tested without requiring a full cryptographic implementation.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
An executable specification for the voteflux system.
It is intended to be a vehicle by which concrete aspects of the system can be discussed and tested without requiring a full cryptographic implementation.