Separation Logic in Coq - News

Group

Main
- Main
- View members
- Search
Homepage
Download
Support
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Mailing lists
Source code
Bugs
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Tasks
- ~~Submit new~~
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Patches
- ~~Submit new~~
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
News
- Browse
- Atom feed
- ~~Submit~~
- ~~Manage~~

26/05/06: simplification of the Topsy proofs

Item posted by Reynald Affeldt <reynald> on Fri 26 May 2006 02:31:08 AM UTC.

We have made several improvements in Topsy proofs:
mainly, simplification of the assertions, and
shorter and better explained Coq scripts.

Powered by Savane 3.14-50d9.
Corresponding source code