GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ modal-logic
Top 1 modal-logic open source projects
InfSeqExt
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
✭ 12
Coq
coq
proof
ltl
temporal-logic
modal-logic
coq-library
1-1
of
1
modal-logic projects