thodg/slides/modal-logic

Branch - branch -master

• Show log

  Commit

• Hash : 7849e27b
  Author : Thomas de Grivel
  Date : 2020-05-22T11:45:17
  

  modal-logic: simplify definitions

• Files

• index.md

• Properties

• Git HTTP	https://git.kmx.io/thodg/slides.git
  Git SSH	git@git.kmx.io:thodg/slides.git
  Public access ?	public
  Description	Slides for various presentations
  Users
  Tags