Contents of property-prover-1.0.0

LICENSE
README.md
package.json
examples/
- contracts/
  - Ackermann.curry
  - AllNats.curry
  - Coin.curry
  - ConcLength.curry
  - DoublePeano.curry
  - Fac.curry
  - Fib.curry
  - Init.curry
  - InsND.curry
  - Last.curry
  - Loop.curry
  - McCarthy91.curry
  - MinList.curry
  - NegPos.curry
  - NondetContract.curry
  - Nth.curry
  - NthLength.curry
  - Perm.curry
  - PermByNDInsSort.curry
  - Rev.curry
  - Split.curry
  - Sum.curry
  - Take.curry
  - test.sh
  - unprovable_contracts/
    
    Const.curry
    
    NonDetContract.curry
- failfree/
  - Abs.curry
  - Average.curry
  - Digit.curry
  - Fac.curry
  - Fold.curry
  - Head.curry
  - Last.curry
  - Lookup.curry
  - Max.curry
  - Nth.curry
  - Peano.curry
  - Perm.curry
  - ReadCommand.curry
  - Scanr.curry
  - Sign.curry
  - Split.curry
  - Unwords.curry
  - UserIntList.curry
  - UserList.curry
  - test.sh
include/
- ContractChecks.curry
- Either_SPEC.curry
- Integer_SPEC.curry
- List_SPEC.curry
- Maybe_SPEC.curry
- Nat_SPEC.curry
- Prelude_SPEC.curry
src/
- CheckSMT.curry
- Common.curry
- ContractProver.curry
- Curry2SMT.curry
- ESMT.curry
- Failfree.curry
- Main.curry
- ToolOptions.curry
- TransState.curry
- VerifierState.curry
- FlatCurry/
  - Typed/
    
    Build.curry
    
    Goodies.curry
    
    Names.curry
    
    Read.curry
    
    Simplify.curry
    
    Types.curry