Explore projects

Separation Logic with Characteristic Formulae Entirely within Coq

OBSOLETE: See https://github.com/grew-nlp/grewpy

OBSOLETE: moved to https://github.com/grew-nlp/amr

OBSOLETE: The Grew-match tool is now based on a new backend called grew_match_back (https://gitlab.inria.fr/grew/grew_match_back)

Gtk interface for grew