Home My Page Projects CoqFiniteGroups
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

News

Choose a News item and you can browse, search, and post messages.

First Official Release

Laurent Théry - 2013-07-04 08:27 - CoqFiniteGroups

The first official release of the source files is available

0 Comment Read More/Comment

Ssreflect 1.3 released

Georges Gonthier - 2011-03-15 12:26 - CoqFiniteGroups

We are proud to release Ssreflect 1.3, which provides compatibility with Coq 8.3, several improvements to the tactic language, and an extended library.

0 Comment Read More/Comment

New release of ssreflect

Laurent Théry - 2009-08-12 13:37 - CoqFiniteGroups

ssreflect-12 is out

0 Comment Read More/Comment

WIki

Laurent Théry - 2007-01-23 15:52 - CoqFiniteGroups

A wiki has been added

0 Comment Read More/Comment

Weak version of Maschke Theorem completed

Sidi Ould Biha - 2007-01-10 13:52 - CoqFiniteGroups

The weak version of Maschke Theorem :

0 Comment Read More/Comment

Frobenius theorem completed

Laurent Théry - 2006-10-30 09:21 - CoqFiniteGroups

0 Comment Read More/Comment

Sylow's theorems completed

Laurent Théry - 2006-08-09 21:34 - CoqFiniteGroups

Complete proofs of the 3 Sylow theorems.

0 Comment Read More/Comment