-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
109 lines (97 loc) · 4.57 KB
/
index.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.html">Home</a></li>
<li><a href="team.html">Team</a></li>
<li><a href="results.html">Results</a></li>
<li><a href="publi.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] Proof of Lagrange's four-square theorem.</p>
<p>[2011-08-26] Talks @ <a href="http://www.cs.ru.nl/~spitters/coqw.html">Coq work­shop</a> on a constructive axiomatics for ℝ and resolution of differential equations using reflection</p>
<p>[2011-07-31] Talk @ <a href="http://www.uc.pt/en/congressos/thedu">THedu</a> on Coq with power series.</p>
<p>[2010-2011] COQTAIL is now a junior lab funded by the <a href="http://www.ens-lyon.fr">ENS Lyon</a>.</p>
<!-- <p>[2010-03-07] The first release is now available! You can download it <a href="http://sourceforge.net/projects/coqtail/files/">here</a>.</p> -->
</div>
<h2>Origin & Objectives</h2>
<p>The <a href="https://github.com/coqtail/coqtail">COQTAIL</a> project is the biological
son of the workpackage ‘Proofs’ of the <a href="http://graal.ens-lyon.fr/coquille">COQUILLE</a>
project. It is therefore based on all the results obtained during the development of COQUILLE.</p>
<p>In addition to implementing tools dedicated to the easy formalization of mathematics as we see
them in french <i>Classes préparatoires</i>, this project will proove Bachelor-level results.</p>
<h2>Development axes</h2>
<ul>
<li>Analysis (real and complex)</li>
<li>Arithmetic</li>
<li>Calculability</li>
<li>ℂ implementation</li>
<li>Logic and ℝ axiomatic expressivity</li>
<li>Topology</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="Valid CSS!" title="Valid CSS!" />
</a>
<a href="http://www.gnu.org/licenses/lgpl.html">
<img src="img/lgplv3.png" alt="Coqtail is Free Software" title="Coqtail is Free Software" />
</a>
</p>
</div>
</div>
</body>
</html>