vprover.github.io/index.html at master · ibnyusuf/vprover.github.io · GitHub

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
<!DOCTYPE html
	PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
	 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en-US" xml:lang="en-US">
<head>
<title>Vampire&#39;s Home Page</title>
<link href="vampire.css" rel="StyleSheet" type="text/css" />
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
</head>
<body>
<table style="border-collapse:collapse"><tr>

<script src="scripts/nav.js"></script>
<td class="content"> <h1>Vampire's Home Page</h1> <style>.headline {
           font-weight:bold;
           font-family:sans-serif;
         }
         .headlineFirstLetter {
           font-family:sans-serif;
           color:red;
           font-size:18pt;
         }
         img { border-style:none; }
         .date {
           font-size:10pt;
           font-family:sans-serif;
         }</style> <div style="clear:right"><h2>News</h2></div> <div>
This website is currently being updated and may be broken in places.
</div>

<h2>Vampire</h2> <p>Automatic theorem proving has a number of important applications, such
        as Software Verification, Hardware Verification, Hardware Design,
        Knowledge Representation and Reasoning, Semantic Web, Algebra and
        Proving Theorems in Mathematics.  Over 50 years of research in theorem
        proving have resulted in one of the most advanced and elegant theories
        in computer science. This area is an ideal target for scientific
        engineering: implementation techniques have to be developed to realise
        an advanced theory in practically valuable tools.</p> <p>Vampire is a theorem prover, that is, a system able to prove
         theorems. More precisely, it proves theorems in first-order
         logic. The development of Vampire has begun in 1994.
<p>Vampire is very fast, as can be judged by  <a href="trophies.html">our awards</a>.</p></td></tr></table>
</body>
</html>