modal-logic


Log

Author Commit Date CI Message
Thomas de Grivel ccd5ed5c 2020-05-22T11:42:51 update modal-logic
Thomas de Grivel 8e5f1922 2020-05-22T11:24:07 modal logic: possibly
Thomas de Grivel 955b1103 2020-05-17T12:14:58 modal logic