Separation 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.
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.
Copyright © 2023 Free Software Foundation, Inc.
Verbatim copying and distribution of this entire article
is permitted in any medium, provided this notice is preserved.
The Levitating,
Meditating, Flute-playing Gnu logo is a GNU GPL'ed image provided
by the Nevrax Design Team.
Source Code