Package contract-prover
  • All Packages
  • Categories
  • Recent Uploads
  • Masala
  • Curry Package Manager
  • Curry Homepage

Contents of contract-prover-0.0.1

  • LICENSE
  • README.md
  • package.json
  • examples/
    • Ackermann.curry
    • AllNats.curry
    • Coin.curry
    • ConcLength.curry
    • Fac.curry
    • Fib.curry
    • Init.curry
    • InsND.curry
    • Last.curry
    • McCarthy91.curry
    • MinList.curry
    • NegPos.curry
    • NondetContract.curry
    • Nth.curry
    • NthLength.curry
    • Perm.curry
    • README.txt
    • Rev.curry
    • Sum.curry
    • Take.curry
    • test.sh
    • unprovable_contracts/
      • Const.curry
  • include/
    • Prelude.smt
    • Prelude_length.smt
    • Prelude_null.smt
    • Prelude_take.smt
  • src/
    • BoolExp.curry
    • ContractProver.curry
    • Curry2SMT.curry
    • ProverOptions.curry
    • TypedFlatCurryGoodies.curry

Generated by cpm-manage at May 9 06:43:04 2025