Giters

manishkk / Schulzeproperties

This repo is intended for verifying properties of Schulze Method

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Schulzeproperties

This repo is intended for verifying properties of Schulze Method

About

This repo is intended for verifying properties of Schulze Method

Languages

Language:Coq 99.4%Language:Makefile 0.6%