to merge in main - Githubissues

DmxLarchey / Relevant-decidability

A constructive account of Kripke-Curry's decidability proof for Implicational Relevance logic (see README.md below)

GNU Lesser General Public License v2.1

0 stars 1 forks source link

Closed DmxLarchey closed 5 years ago