A Machine-Checked Proof of the Odd Order Theorem 论文

2013Lecture notes in computer science引用 275
DOI
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeMathematics, Computing, and Information Processing
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsMathematics, Computing, and Information Processing
相关技术:Mathematics, Computing, and Information Processing
关系图谱

A Machine-Checked Proof of the Odd Order Theorem · 作者

L

Laurent Théry

E

E. ̃Tassi

A

Alexey Solovyev

L

Laurence Rideau

I

Ioana Paşca

S

Sidi Ould Biha

R

Russell O’Connor

A

Assia Mahboubi

S

Stéphane Le Roux

F

François Garillot

C

Cyril Cohen

Y

Yves Bertot

J

Jeremy Avigad

A

Andrea Asperti

G

Georges Gonthier