relation-algebra

Relation algebra library for Coq

GitHub
43 stars
1 watching
15 forks
Language: Coq
last commit: 18 days ago
Linked from 2 awesome lists


Backlinks from these awesome lists: