Skip to content

Add placeholder page for CaT article

Pierre-Alexandre Leziart requested to merge cat into main

This PR adds a placeholder page for the Constraints as Termination article, that will be filled once the final version of the article is submitted.

Merge request reports