Update#20

Closed

mi-ki wants to merge 6 commits intodependabot/maven/virage/org.apache.commons-commons-configuration2-2.10.1from

Commits on Sep 21, 2023

First investigation results
mi-ki
committed

Commits on Sep 25, 2023

Made code and proof generation work for simple voting rules, still need to inspect more complex ones
mi-ki
committed