search

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

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated