Awesome Lists

comp-dec-modal

by coq-community

Coqpushed about 2 years ago

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

AI summary

Modal logic proofs

Machine-checked proofs of soundness, completeness, and decidability for modal logics in Coq.

stars
8
forks
2
watching
3
awesome list
1
View on GitHubcoq-community.org/comp-dec-modal

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/coq-community/comp-dec-modal/links.svg)](https://awesome.facts.dev/awesome/coq-community/comp-dec-modal)
HTML
<a href="https://awesome.facts.dev/awesome/coq-community/comp-dec-modal"><img src="https://awesome.facts.dev/shield/coq-community/comp-dec-modal/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/coq-community/comp-dec-modal/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.