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

Contents of property-prover-1.1.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
    • failfree-inference/
      • 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
    • Utils.curry
    • VerifierState.curry
    • FlatCurry/
      • Typed/
        • Build.curry
        • FunctionSubstitution.curry
        • Goodies.curry
        • Names.curry
        • Read.curry
        • Simplify.curry
        • TypeCheck.curry
        • Types.curry
    • Inference/
      • Flattening.curry
      • Inference.curry
      • Simplification.curry

Generated by cpm-manage at May 9 06:45:27 2025