--------------------------------------------------------------------------
-- finite-prover                                                        --
--                                                                      --
-- a library for proving propositions quantified over finite sets       --
--------------------------------------------------------------------------

Look at examples/Main.agda for an example of using the library.

This code was tested with:

* Agda 2.6.1, standard library version 1.4