/subst-interpol

Uniform Interpolation for some Substructural Logics (work in progress)

Primary LanguageCoq

Watchers