GitHub repository: CaitlinDab/sahlqvist
Primary language: Coq
Created: 2018-03-19T05:04:00Z
Description: Coq formalisation of Sahlqvist