Permalink
Switch branches/tags
Nothing to show
Commits on Apr 16, 2017
  1. [ std-lib ] `decTotalOrder` was moved.

    The function was moved to `Data.Nat.Properties.≤-decTotalOrder`.
    committed Apr 16, 2017
Commits on Apr 6, 2017
  1. [ test-suite ] Fixed.

    committed Apr 6, 2017
  2. [ xor ] Removed wrong theorems.

    committed Apr 6, 2017
Commits on Mar 26, 2017
Commits on Mar 16, 2017
Commits on Dec 30, 2016
  1. [ README ] Fixed typo.

    committed Dec 30, 2016
  2. Tested with GHC 8.0.1.

    committed Dec 30, 2016
  3. Added test of Haskell files.

    committed Dec 30, 2016
Commits on Dec 27, 2016
  1. Changes required by changes in Apia.

    committed Dec 27, 2016
Commits on Dec 15, 2016
  1. Coq files tested with Coq 8.6.

    committed Dec 15, 2016
Commits on Dec 9, 2016
  1. [ FOL ] Added documentation.

    committed Dec 9, 2016
Commits on Nov 10, 2016
  1. Revert "Proved Mendelson's substitution rule for equality."

    This reverts commit ef40a37.
    committed Nov 10, 2016
  2. Removed unnecessary postulate.

    committed Nov 10, 2016
  3. Fixed wrong year.

    committed Nov 9, 2016
  4. Tested with Coq 8.5pl3.

    committed Nov 10, 2016
Commits on Sep 30, 2016
  1. Cosmetics.

    committed Sep 30, 2016
Commits on Aug 27, 2016
Commits on Jul 20, 2016
  1. Supported TPTP 6.4.0.

    committed Jul 20, 2016
Commits on Jul 15, 2016
  1. Supported Coq 8.5pl2.

    committed Jul 15, 2016
Commits on Apr 19, 2016
  1. Support for Coq 8.5pl1.

    committed Apr 19, 2016
Commits on Apr 8, 2016
Commits on Jan 23, 2016
  1. Support for Coq 8.5.

    committed Jan 23, 2016
Commits on Jan 7, 2016
  1. [ metis ] The `--time-limit` option is working.

    Tested with Metis 2.3 (release 20160102).
    committed Jan 7, 2016
Commits on Jan 6, 2016
  1. Added theorem 0^Sx≡0.

    committed Jan 6, 2016
  2. Added theorem 0^0≡1.

    committed Jan 6, 2016