Library for proving propositions quantified over finite sets - View it on GitHub