]> Git — Sourcephile - majurity.git/commit
sourcephile / git / majurity.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 812e911) | patch
protocol: rename Proove -> Prove
authorJulien Moutinho <julm+hjugement@autogeree.net>
Tue, 30 Apr 2019 21:36:57 +0000 (21:36 +0000)
committerJulien Moutinho <julm+hjugement@autogeree.net>
Tue, 30 Apr 2019 21:36:57 +0000 (21:36 +0000)
commit144f2a54cec7de4d6a7470e0adc9b660c308c1fe
treee9f31e23066c3a9075b1d9e6100386f371e8dd38tree | snapshot
parent812e911738952419b6d3866bb08f636137bd38abcommit | diff
protocol: rename Proove -> Prove
hjugement-protocol/Protocol/Election.hs diff | blob | history
Tools for voting with Majority Judgment and Helios-C