[FOM] Formal verification

martdowd at aol.com martdowd at aol.com
Wed Oct 22 14:12:30 EDT 2014

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

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

More information about the FOM mailing list