From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from lists.gentoo.org ([140.105.134.102] helo=robin.gentoo.org) by nuthatch.gentoo.org with esmtp (Exim 4.60) (envelope-from ) id 1FvDqz-0007MI-Ob for garchives@archives.gentoo.org; Tue, 27 Jun 2006 13:43:46 +0000 Received: from robin.gentoo.org (localhost [127.0.0.1]) by robin.gentoo.org (8.13.7/8.13.6) with SMTP id k5RDgoOf001148; Tue, 27 Jun 2006 13:42:50 GMT Received: from rwcrmhc15.comcast.net (rwcrmhc15.comcast.net [216.148.227.155] (may be forged)) by robin.gentoo.org (8.13.7/8.13.6) with ESMTP id k5RDgn8Y023182 for ; Tue, 27 Jun 2006 13:42:50 GMT Received: from [24.21.55.62] (c-24-21-55-62.hsd1.or.comcast.net[24.21.55.62]) by comcast.net (rwcrmhc15) with ESMTP id <20060627134248m1500dh3aue>; Tue, 27 Jun 2006 13:42:48 +0000 Message-ID: <44A135D1.5070303@cesmail.net> Date: Tue, 27 Jun 2006 06:42:41 -0700 From: "M. Edward (Ed) Borasky" User-Agent: Thunderbird 1.5.0.4 (X11/20060602) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-science@gentoo.org Reply-to: gentoo-science@lists.gentoo.org MIME-Version: 1.0 To: gentoo-science@lists.gentoo.org Subject: Re: [gentoo-science] sci-proof References: <20060626161440.38076.qmail@web31715.mail.mud.yahoo.com> <44A0BF58.8080305@cesmail.net> <20060627120046.GD24355@ubik> In-Reply-To: <20060627120046.GD24355@ubik> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Archives-Salt: 87712628-56d6-47b2-9474-5e269d48197d X-Archives-Hash: ca875b7b1723f8c5fbdcefe6466b8ae9 Alexandre Buisse wrote: > Well, model checking is outside the (admittedly very narrow) scope of > software I'm interested/skilled in, which deals mostly with proof > assistant. If enough interest is shown, I could try to add them, but > after we are done with the proof assistants (another possibility would > of course be for you to become a dev yourself and maintain them :)). > Maybe when I retire from my day job :). -- M. Edward (Ed) Borasky http://linuxcapacityplanning.com -- gentoo-science@gentoo.org mailing list