Changes between Version 82 and Version 83 of WikiStart


Ignore:
Timestamp:
Nov 27, 2011, 10:36:33 PM (9 years ago)
Author:
Erik de Castro Lopo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v82 v83  
    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 [http://www.truckaccidentlawyersource.com/ Truck Accident Lawyer] regularly get 20-30 attendees.
     7* The first meeting took place in February 2008 and we regularly get 20-30 attendees.
    88* Anyone who is interested is welcome to come along.
    99