A Machine-Checked Proof of the Odd Order Theorem

Gonthier, Georges; Asperti, Andrea; Avigad, Jeremy; Bertot, Yves; Cohen, Cyril; Garillot, Francois; Le Roux, Stephane; Mahboubi, Assia; O'Connor, Russell; Biha, Sidi Ould; Pasca, Ioana; Rideau, Laurence; Solovyev, Alexey; Tassi, Enrico

doi:10.1184/R1/6490739.v1

file.pdf (207.84 kB)

A Machine-Checked Proof of the Odd Order Theorem

journal contribution

posted on 2013-07-01, 00:00 authored by Georges Gonthier, Andrea Asperti, Jeremy AvigadJeremy Avigad, Yves Bertot, Cyril Cohen, Francois Garillot, Stephane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi

Department of Philosophy technical report

History

Publisher Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-39634-2_14

Date

2013-07-01

Usage metrics

Keywords

Philosophy

Licence

In Copyright

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM

DC

A Machine-Checked Proof of the Odd Order Theorem

History

Publisher Statement

Date

Usage metrics

Categories

Keywords

Licence

Exports