-
Notifications
You must be signed in to change notification settings - Fork 0
/
results.fr.html
99 lines (91 loc) · 3.98 KB
/
results.fr.html
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
89
90
91
92
93
94
95
96
97
98
99
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="fr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta http-equiv="Content-Style-Type" content="text/css" />
<link href="main.css" rel="stylesheet" type="text/css" media="all" />
<!-- <link href="doc/coqdoc.css" rel="stylesheet" type="text/css" media="all" /> -->
<link rel="icon" type="image/png" href="img/favicon.png" />
<title>Coqtail</title>
<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-23791559-1']);
_gaq.push(['_trackPageview']);
(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();
</script>
</head>
<body>
<div id="container">
<div id="top">
<div id="left_top">
<img src="img/coqtail.png" title="Coqtail's logo" width="200" height="200" alt="coqtail's logo" />
</div>
<div id="right_top">
<div id="language">
<a href="results.fr.html"><img src="img/fr.png" title="French" alt="French" /></a>
<a href="results.html"><img src="img/gb.png" title="English" alt="English" /></a>
</div>
<div id="description"><h1>Coqtail</h1>
<h2 class="sigle">
<span class="highlight">COQ</span>
<span class="highlight">T</span>heorems,
<span class="highlight">A</span>bstractions and
<span class="highlight">I</span>mplementations
(Bachelor-<span class="highlight">L</span>evel)
</h2>
</div>
<div id="menu">
<ul>
<li><a href="index.fr.html">Accueil</a></li>
<li><a href="team.fr.html">Équipe</a></li>
<li><a id="current" href="results.fr.html">Résultats</a></li>
<li><a href="publi.fr.html">Publications</a></li>
<li><a href="doc/toc.html">Documentation</a></li>
</ul>
</div>
</div>
<div class="clean"></div>
</div>
<div id="middle">
<h2>Quelques jolis résultats</h2>
<ul>
<li>ℝ est indénombrable</li>
<li>L'axiomatique des réels implique le principe de Markov</li>
<li>Problème de Bâle (<em>1+1/2²+1/3²+1/4²+...= π²/6</em>)</li>
<li>Formule de Stirling (approximation de <em>n!</em>)</li>
<li>Théorème des quatre carrés de Lagrange</li>
</ul>
<h2>De nouvelles bibliothèques</h2>
<ul>
<li>Arithmétique</li>
<li>Topologie (définition de nombreuses typeclass de base, recherche de définitions les plus générales possibles)</li>
<li>Bibliothèques ordonnées de résultats sur les suites et séries réelles et les suites complexes</li>
<li>Définition et manipulation des complexes et des concepts de base</li>
<li>Formalisation des séries entières et développements sur les rayons de convergence</li>
</ul>
</div>
<div id="footer">
<p id="mentions">
<a href="https://github.com/coqtail/coqtail"><img src="img/github.png" width="80" alt="github" /></a>
</p>
<p id="w3c">
<a href="http://validator.w3.org/check?uri=referer">
<img style="border:0;width:88px;height:31px" src="img/valid-xhtml11.png" alt="Valid XHTML 1.1" title="Valid XHTML 1.1" height="31" width="88" />
</a>
<a href="http://jigsaw.w3.org/css-validator/check/referer">
<img style="border:0;width:88px;height:31px" src="img/valid-css.png" alt="CSS Valide !" title="CSS Valide !" />
</a>
<a href="http://www.gnu.org/licenses/lgpl.html">
<img src="img/lgplv3.png" alt="Coqtail est un logiciel libre" title="Coqtail est un logiciel libre" />
</a>
</p>
</div>
</div>
</body>
</html>