Changes between Version 9 and Version 10 of WikiStart


Ignore:
Timestamp:
Apr 22, 2011, 7:17:21 AM (13 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v9 v10  
    55* We also have a contingent interested in theorem provers such as Coq and Isabelle.
    66* Meetings are held on the third Thursday evening of each month.
    7 * The first meeting took place in February 2008 and we regularly get 25-30 attendees.
     7* The first meeting took place in February 2008 and we regularly get 20-30 attendees.
    88
    99* [wiki:Programme Programme Setup]