GitHub repository: maxhaslbeck/QuantSepCon
Primary language: Isabelle
Created: 2019-05-20T21:33:26Z
Description: Quantitative Separating Connectives