All Categories → No Category → coq-library

Top 4 coq-library open source projects

General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]

✭ 36

Coq Makefile topology coq coq-library

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

Partial Commutative Monoids

✭ 20

Coq Makefile coq concurrency separation-logic coq-library partial-commutative-monoid

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]

✭ 106

Coq coq coq-library real-number coq-ci coq-platform

1-4 of 4 coq-library projects