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 decidability-proof

A curated list of projects in awesome lists tagged with decidability-proof .

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: 25 Dec 2024