damien-pous / relation-algebraLinks

Relation algebra library for Coq
48Updated 2 months ago

Alternatives and similar repositories for relation-algebra

Users that are interested in relation-algebra are comparing it to the libraries listed below

Sorting: