From 24a7fea1648991a77fc4ff86a972b0a3935678c8 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 20 Apr 2018 10:13:36 +0200 Subject: move the webpage from gh-pages branch to docs/ --- docs/oo.html | 88 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 88 insertions(+) create mode 100644 docs/oo.html (limited to 'docs/oo.html') diff --git a/docs/oo.html b/docs/oo.html new file mode 100644 index 0000000..6f90a40 --- /dev/null +++ b/docs/oo.html @@ -0,0 +1,88 @@ + + + + + + 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. +

+

+ Microsoft Research - Inria Joint Centre +

+ +
+ + + +
+ + + + -- cgit v1.2.3