GitHub - agda/agda-finite-prover: Library for proving propositions quantified over finite sets

agda / agda-finite-prover Public

Notifications You must be signed in to change notification settings
Fork 2
Star 14

Library for proving propositions quantified over finite sets

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 48 Commits
examples		examples
src		src
.gitignore		.gitignore
README		README
compile.sh		compile.sh

Repository files navigation

--------------------------------------------------------------------------
-- 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