Contents of verify-3.0.0

LICENSE
README.md
package.json
docs/
- Double.curry
- PROOF-evendoublecoin.agda
- README.txt
- TO-PROVE-evendoublecoin.agda
- main.tex
- manual.tex
examples/
- Double.curry
- EvenOdd.curry
- Game.curry
- MyList.curry
- PROOF-appendIsAssoc.agda
- PROOF-evendoublecoin.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