https://github.com/typicalmath/subst-interpol

Uniform Interpolation for some Substructural Logics (work in progress)
https://github.com/typicalmath/subst-interpol

coq coq-formalization

Last synced: 8 days ago
JSON representation

Uniform Interpolation for some Substructural Logics (work in progress)

• Host: GitHub
• URL: https://github.com/typicalmath/subst-interpol
• Owner: TypicalMath
• Created: 2019-07-12T19:28:08.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-04-12T20:03:39.000Z (almost 5 years ago)
• Last Synced: 2024-11-25T01:12:58.430Z (2 months ago)
• Topics: coq, coq-formalization
• Language: Coq
• Homepage: http://dx.doi.org/10.1017/s175502031400015x
• Size: 19.5 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project