GitHub repository: DmxLarchey/Relevant-decidability
Primary language: Coq
Created: 2018-01-31T10:15:33Z
Description: A constructive account of Kripke-Curry's decidability proof for Implicational Relevance logic (see README.md below)