Nantes Université

(Hopefully bugfree) dynamic gapsafe screening inside homotopy.