GitHub repository: BelegCuthalion/subst-interpol
Primary language: Coq
Created: 2019-07-12T19:28:08Z
Description: Uniform Interpolation for some Substructural Logics