Workshop on the guard condition of Coq

3 june 2024, Nantes