GitHub / DmxLarchey / Relevant-decidability

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

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DmxLarchey%2FRelevant-decidability
PURL: pkg:github/DmxLarchey/Relevant-decidability

Stars: 0
Forks: 1
Open issues: 2

License: lgpl-2.1
Language: Coq
Size: 179 KB
Dependencies parsed at: Pending

Created at: over 7 years ago
Updated at: over 5 years ago
Pushed at: about 3 years ago
Last synced at: 3 months ago

Topics: coq, coq-formalization, decidability-proof, kripke-curry, logic, relevance

Loading...