mukeshtiwari/Schulzeproperties

This repo is intended for verifying properties of Schulze Method

Schulzeproperties

This repo is intended for verifying properties of Schulze Method. Working draft: https://github.com/mukeshtiwari/HotSpot2021/blob/main/formal_properties_schulze.pdf