Separation Logic Formalization Project URL: https://ensiwiki.ensimag.fr/index.php?title=Nicolas_Amat_:_Formalisation_de_la_logique_de_s%C3%A9paration_%C3%A0_l%27aide_de_l%27assistant_de_preuve_Isabelle