OVN

Verified implementation of the Open Vote Network protocol

Name	Name	Last commit message	Last commit date
Latest commit 4ever2 Update version constraints Jan 14, 2025 e8d142b · Jan 14, 2025 History 124 Commits
.github	.github	Update version constraints	Jan 14, 2025
extra	extra	Documentation build instructions	Jun 25, 2024
rust_src/ovn	rust_src/ovn	Fix rust src with sed script	Dec 12, 2024
theories	theories	No more admits	Sep 12, 2024
.gitignore	.gitignore	Setup project	May 12, 2023
LICENSE	LICENSE	Initial commit	Mar 10, 2023
Makefile	Makefile	Restore Makefile	Jan 14, 2025
README.md	README.md	Initial commit	Mar 10, 2023
_CoqProject	_CoqProject	Total proof fewer assumptions	Sep 8, 2024
coq-ovn.opam	coq-ovn.opam	Opam file fixes	Mar 25, 2024
hacspec_translation_modificatons.txt	hacspec_translation_modificatons.txt	Back to working on total proof	Jun 27, 2024

Provide feedback