newsSeparation Logic in Coq - News

 
 

Update to Coq v8.1

Item posted by nicolas marti <alalme> on Wed 13 Dec 2006 01:45:43 AM UTC.

We updated every source file of seplog to be compatible with Coq v8.1.


Back to the top

Powered by Savane 3.13-758e.
Corresponding source code