savannah-register-public
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-register-public] [task #5045] Submission of Separation Logic i

From: Reynald Affeldt
Subject: [Savannah-register-public] [task #5045] Submission of Separation Logic in Coq
Date: Fri, 23 Dec 2005 01:34:51 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.10) Gecko/20050925 Firefox/1.0.4 (Debian package 1.0.4-2sarge5) 
Follow-up Comment #4, task #5045 (project administration):

Here it is:

http://web.yl.is.s.u-tokyo.ac.jp/~affeldt/seplog/seplog.tar.gz

rei


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?func=detailitem&item_id=5045>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]