Explore projects
-
CHARGUERAUD Arthur / cfml2
Creative Commons Attribution 4.0 InternationalSeparation 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