A Machine-Checked Proof of the Odd Order Theorem.
| Autor: | Gonthier, Georges, Asperti, Andrea, Avigad, Jeremy, Bertot, Yves, Cohen, Cyril, Garillot, François, Le Roux, Stéphane, Mahboubi, Assia, O'Connor, Russell, Ould Biha, Sidi, Pasca, Ioana, Rideau, Laurence, Solovyev, Alexey, Tassi, Enrico, Théry, Laurent |
|---|---|
| Zdroj: | Interactive Theorem Proving (9783642396335); 2013, p163-179, 17p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|