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

Project description

Formal proof of the Feit-Thompson theorem
Ssreflect plugin for the Coq proof assistant

Latest File Releases
Package Version Date Notes Download
feit_thompson v2.0 2013-07-04 feit_thompson - Release Notes feit_thompson v2.0 - Download
ssreflect 1.4 2012-09-05 ssreflect - Release Notes ssreflect 1.4 - Download
Public Tools
Tracker  Tracker
 Public Forums (3 messages in 3 forums)
Mailing Lists (0 public mailing lists)
Latest News
rss

First Official Release

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

Ssreflect 1.3 released

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

New release of ssreflect

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

WIki

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

Weak version of Maschke Theorem completed

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

Frobenius theorem completed

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

Sylow's theorems completed

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