agda/agda-finite-prover

Library for proving propositions quantified over finite sets

Agda