Giters

TypicalMath / subst-interpol

Uniform Interpolation for some Substructural Logics (work in progress)

Home Page:http://dx.doi.org/10.1017/s175502031400015x

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coqcoq-formalization

This repository is not active

About

Uniform Interpolation for some Substructural Logics (work in progress)

http://dx.doi.org/10.1017/s175502031400015x

coqcoq-formalization

Languages

Language:Coq 99.8%Language:Shell 0.2%