Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/website/community.html
author haftmann
Tue, 28 Jun 2005 16:12:03 +0200
changeset 16592 e7df213a1918
parent 16572 81778a796290
child 16928 eef31b35d2a6
permissions -rw-r--r--
added project information in overview

<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<!-- $Id$ -->
<html xmlns="http://www.w3.org/1999/xhtml">

<head>
    <title>Community</title>
    <?include file="//include/htmlheader.include.html"?>
</head>

<body class="main">
    <?include file="//include/header.include.html"?>
    <div class="hr"><hr/></div>
    <?include file="//include/navigation.include.html"?>
    <div class="hr"><hr/></div>
    <div id="content">

      <h2>Project partners</h2>

      <p>Isabelle is a joint project between
      <a href="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</a>
      (<a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">University of Cambridge</a>, UK) and
      <a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>
      (<a href="http://www4.in.tum.de/proj/theoremprov/group.html">Technical University of Munich</a>, Germany).</p>

      <p>There is an (incomplete) list of past and present <a href=
      "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/projects.html">projects</a>
      undertaken using Isabelle.</p>

      <h2>Mailing list</h2> 

      <p>You may use the mailing list <a
      href="&#109;&#97;&#105;&#108;&#116;&#111;:&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;">&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;</a>
      and its <a
      href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to
      discuss problems and results. To subscribe, <a
      href="&#109;&#97;&#105;&#108;&#116;&#111;:&#108;&#99;&#112;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;?subject=subscribe&amp;body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact
      Larry Paulson</a>.</p>

      <h2>Contributing theorems</h2>

      <p>Did you have to prove a lemma that should have been part
      of the Isabelle distribution? Send it to us!</p>

      <p>We will collect theorems sent to <a href=
      "mailto:isabelle-lemmas@cl.cam.ac.uk">isabelle-lemmas@cl.cam.ac.uk</a>.
      Accepted material will be included in the Isabelle sources, with credit given
      to the author. Note that the Isabelle sources are distributed under the BSD
      license. Lemmas should be general, useful, and not too large. For larger
      developments you might want to consider a submission to the
      <a href="http://afp.sf.net">Archive of Formal Proofs</a>.</p>

      <h2 id="afp">The Archive of Formal Proofs (AFP)</h2>

      <p>The <a href="http://afp.sf.net">Archive of Formal Proofs</a> is a collection of proof
      libraries, examples, and larger scientifc developments, mechanically checked
      in Isabelle. It is organized in the way of a scientific journal. Submissions
      are refereed.</p>

    </div>
    <div class="hr"><hr/></div>
    <?include file="//include/footer.include.html"?>
</body>

</html>
isabelle