Projects / Coq / Releases

All releases of Coq

  •  11 Aug 2009 12:04
Avatar

    Release Notes: Various bugs were fixed.

    •  18 Feb 2009 08:19
    Avatar

      Release Notes: This release brings Haskell-style type classes, various evolutions of the arithmetic libraries, and many other various improvements and extensions regarding the module system, tactics, syntax, etc.

      •  25 Aug 2006 10:27
      Avatar

        Release Notes: The search depth argument of auto can be parameterised in the Ltac language. The constr_may_eval entry was added for tactic extensions. A couple of lemmas of ZArith were renamed. This concerns names containing O (the letter), which is replaced by 0 (the number).

        •  09 May 2005 05:23
        Avatar

          Release Notes: GPL-incompatible QPL files for CoqIde are now under the GPL. Pretty-printing of coercions to Funclass were fixed and improved.

          •  21 Apr 2004 18:03
          Avatar

            Release Notes: This is a new major evolution of the Coq system. It features a more extensible logical system due to the removal of the impredicativity of the sort Set, a completely new syntax, an automatic translator from the old to the new syntax, a new notion of "interpretation scopes", a revised and simplified standard library, a new automation tactic for first-order statements, and a new integrated GTK-based user interface.

            •  17 Mar 2004 14:23
            Avatar

              Release Notes: This is the beta version of a new major evolution of the Coq system. Its features include a more extensible logical system, a completely new syntax of terms, a slightly revised syntax for tactics and commands, a smart and robust comment-preserving automatic translator from old to new syntax, a new notion of "interpretation scopes", a revised and simplified standard library, a new automation tactic for first-order statements, and a new integrated GTK-based user interface.

              Screenshot

              Project Spotlight

              episoder

              A tool to tell you about new episodes of your favourite TV shows.

              Screenshot

              Project Spotlight

              BalanceNG

              A modern software IP load balancer.