relation-algebra in coq-community/awesome-coq

Relation algebra library for Coq

created at July 28, 2015, 7:57 a.m.

1 +0

48 +3

17 +0

coinduction in coq-community/awesome-coq

coinduction library for Coq

created at July 28, 2021, 1:11 p.m.

2 +0

15 +2

4 +0