GitHub repository: KevinQuirin/translation-mod
Primary language: Coq
Created: 2016-04-30T07:13:37Z
Description: A coq plugin implementing the translation associated to a modality