Explore projects

Obsolete. replaced by https://github.com/grew-nlp/grew_match_dream

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

Separation Logic with Characteristic Formulae Entirely within Coq

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

Gtk interface for grew

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

OBSOLETE: the Grew library is now maintained on https://github.com/grew-nlp/grewlib