diff options
| author | Enrico Tassi | 2018-04-20 10:13:36 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-04-20 10:35:01 +0200 |
| commit | 24a7fea1648991a77fc4ff86a972b0a3935678c8 (patch) | |
| tree | 4d6043884fafaf062d33c15a266a7f4c92541f79 /docs/oo.html | |
| parent | 9352fc35ebe04b8b4e9002f3cf39ee1acbab8cd2 (diff) | |
move the webpage from gh-pages branch to docs/
Diffstat (limited to 'docs/oo.html')
| -rw-r--r-- | docs/oo.html | 88 |
1 files changed, 88 insertions, 0 deletions
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 @@ +<!doctype html> +<html> + <head> + <meta charset="utf-8"> + <meta http-equiv="X-UA-Compatible" content="chrome=1"> + <title>A Formal Proof of The Odd Order Theorem</title> + + <link rel="stylesheet" href="stylesheets/styles.css"> + <link rel="stylesheet" href="stylesheets/github-light.css"> + <meta name="viewport" content="width=device-width"> + <!--[if lt IE 9]> + <script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script> + <![endif]--> + </head> + <body> + <div class="wrapper"> + <header> + <h1>A Formal Proof of The Odd Order Theorem</h1> + <p> A formalized and machine-checked proof, + using the Coq proof assistant</p> + + <p class="view"><a href="https://github.com/math-comp/math-comp">View the Sources on GitHub <small>math-comp/math-comp</small></a></p> + + </header> + + <section> + <h3> +<a id="about" class="anchor" href="#about" aria-hidden="true"><span class="octicon octicon-link"></span></a>About</h3> + + + <p> Blah blah... + </p> + <p> TODO : a Q&A page + +</p> + +<h3> +<a id="borwsing" class="anchor" href="#releases" + aria-hidden="true"><span class="octicon + octicon-link"></span></a>Browsing + the files</h3> + +<p> TODO +</p> + +<h3> +<a id="releases" class="anchor" href="#releases" + aria-hidden="true"><span class="octicon + octicon-link"></span></a>Getting + the libraries</h3> + +<p> +TODO +</p> + +<h3> +<a id="contact" class="anchor" href="#contact" aria-hidden="true"><span class="octicon octicon-link"></span></a>Contact</h3> + +<p> +Any question? +<a href="mailto:sympa@inria.fr?subject=SUBSCRIBE%20ssreflect">Subscribe to the ssreflect mailing list</a> +and let us know what you are using our libraries for, ask questions, etc. +You can also browse the <a href="https://sympa.inria.fr/sympa/arc/ssreflect">archives of the list</a> or consult the +<a href="https://sympa.inria.fr/sympa/info/ssreflect">general information page</a>. +</p> +<h3> +<a id="authors-and-contributors" class="anchor" href="#authors-and-contributors" aria-hidden="true"><span class="octicon octicon-link"></span></a>Authors and Contributors</h3> + +<p> The Odd Order library, the Mathematical Components library and the + Ssreflect proof language are developed by the +<a href="http://www.msr-inria.fr/projects/mathematical-components-2/">Mathematical Components team</a>, at the +<a href="http://www.msr-inria.fr/">Inria -- Microsoft Research Joint Centre</a>. +</p> + <p style="text-align:center;"> + <a href="http://www.msr-inria.fr/"><img src="./logo-MS-Research-Inria-Joint-Centre.png" alt="Microsoft Research - Inria Joint Centre" style="width:50%;margin-left:auto;margin-right:auto;"/></a> + </p> + + </section> + + <footer> + <p><small>Theme by <a href="https://github.com/orderedlist">orderedlist</a></small></p> + </footer> + + </div> + <script src="javascripts/scale.fix.js"></script> + + </body> +</html> |