GitHub - TypicalMath/subst-interpol: Uniform Interpolation for some Substructural Logics (work in progress) · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
.gitignore		.gitignore
FLe.v		FLe.v
Finset.v		Finset.v
Formula.v		Formula.v
Lang.v		Lang.v
make.sh		make.sh

About

Uniform Interpolation for some Substructural Logics (work in progress)

dx.doi.org/10.1017/s175502031400015x

coq coq-formalization

Custom properties

2 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages