[FOM] Formal verification

[martdowd at aol.com]

Following up on a previous post of mine, one of the famous achievements of Coq is in group theory, the verification of the Feit-Thompson theorem.  See
 http://www.msr-inria.fr/timeline/formal-proof-of-the-feit-thompson-theorem/

Martin Dowd
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20141022/60d21aef/attachment.html>