-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.fr.html
109 lines (98 loc) · 4.73 KB
/
index.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
100
101
102
103
104
105
106
107
108
109
<?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="index.fr.html"><img src="img/fr.png" title="French" alt="French" /></a>
<a href="index.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 id="current" href="index.fr.html">Accueil</a></li>
<li><a href="team.fr.html">Équipe</a></li>
<li><a 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">
<div id="news"><h3>News</h3>
<p>[2012-03-12] Preuve du théorème des quatres carrés de Lagrange</p>
<p>[26 août 2011] Talks @ <a href="http://www.cs.ru.nl/~spitters/coqw.html">Coq workshop</a> sur une axiomatique constructive pour ℝ et la réso­lution d'équations diffé­ren­tielles par reflection</p>
<p>[31 juillet 2011] Talk @ <a href="http://www.uc.pt/en/congressos/thedu">THedu</a> sur les séries entières en Coq.</p>
<p>[2010-2011] COQTAIL est main­tenant un laboratoire junior de l'<a href="http://www.ens-lyon.fr">ENS Lyon</a>.</p>
<p>[07 avril 2010] La première révi­sion est maintenant disponible ! Vous pouvez la télécharger <a href="https://github.com/coqtail/coqtail">ici</a>.</p>
</div>
<h2>Origine & Objectifs</h2>
<p>Le projet <a href="https://github.com/coqtail/coqtail">COQTAIL</a> est le fils biologique du groupe de travail « Preuves » du projet
<a href="http://graal.ens-lyon.fr/coquille">COQUILLE</a>. Il se fonde donc sur
l'intégralité des résultats obtenus lors du semestre de développement de COQUILLE.</p>
<p>En plus d'implémenter des outils permettant une formalisation aisée des mathématiques
abordées en classes préparatoires, ce projet tâchera également de démontrer des résultats
de niveau licence.</p>
<h2>Axes de développements</h2>
<ul>
<li>Analyse (réelle et complexe)</li>
<li>Arithmétique</li>
<li>Calculabilité</li>
<li>Implémentation de ℂ</li>
<li>Logique, expressivité de l'axiomatique de ℝ</li>
<li>Topologie</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>