From 6b59540a2460633df4e3d8347cb4dfe2fb3a3afb Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Wed, 16 Oct 2019 11:26:43 +0200 Subject: removing everything but index which redirects to the new page --- docs/oo.html | 88 ------------------------------------------------------------ 1 file changed, 88 deletions(-) delete mode 100644 docs/oo.html (limited to 'docs/oo.html') diff --git a/docs/oo.html b/docs/oo.html deleted file mode 100644 index 6f90a40..0000000 --- a/docs/oo.html +++ /dev/null @@ -1,88 +0,0 @@ - - - - - - A Formal Proof of The Odd Order Theorem - - - - - - - -

-

-

A Formal Proof of The Odd Order Theorem

-

A formalized and machine-checked proof, - using the Coq proof assistant

- -

View the Sources on GitHub math-comp/math-comp

- -

- -

-

-About

- - -

Blah blah... -

-

TODO : a Q&A page - -

- -

-Browsing - the files

- -

TODO -

- -

-Getting - the libraries

- -

-TODO -

- -

-Contact

- -

-Any question? -Subscribe to the ssreflect mailing list -and let us know what you are using our libraries for, ask questions, etc. -You can also browse the archives of the list or consult the -general information page. -

-

-Authors and Contributors

- -

The Odd Order library, the Mathematical Components library and the - Ssreflect proof language are developed by the -Mathematical Components team, at the -Inria -- Microsoft Research Joint Centre. -

-

- -

- -

- - - -

- - - - -- cgit v1.2.3