Hash : 7849e27b Author : Thomas de Grivel Date : 2020-05-22T11:45:17
modal-logic: simplify definitions
Slides for various presentations