Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with kripke-curry

A curated list of projects in awesome lists tagged with kripke-curry .

https://github.com/dmxlarchey/relevant-decidability

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

coq coq-formalization decidability-proof kripke-curry logic relevance

Last synced: 06 Nov 2024