blob: 6f90a40fa71395496fbdbc0e93e3401994583ad6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
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>
|
