A simple voting system with trace-emitting computations, written in Java and integrated with Twelf.
Primary LanguageJava
No issues in this repository yet.