Verified Construction of Fair Voting Rules. - Karsten Diekhoff; Michael Kirsten; Jonas Krämer (LOPSTR, 2019)