Explore projects
-
Separation Logic with Characteristic Formulae Entirely within Coq
Archived 1Updated
GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
Separation Logic with Characteristic Formulae Entirely within Coq