verify
LICENSE
README.md
package.json
docs/
Double.curry
PROOF-evendoublecoin.agda
README.txt
TO-PROVE-evendoublecoin.agda
main.tex
manual.tex
examples/
EvenOdd.curry
Game.curry
MyList.curry
PROOF-appendIsAssoc.agda
PROOF-gamelength.agda
PROOF-odddoublecoin.agda
PROOF-permlength.agda
Perm.curry
TestVerify.curry
imports/
nondet-thms.agda
nondet.agda
src/
ToAgda.curry
ToVerifier.curry
VerifyOptions.curry