relation-algebra

relation-algebra

https://github.com/damien-pous/relation-algebra

Coq41

7 months ago

Reviews

Relation algebra library for Coq

Search similar apps

    License

    GNU Lesser General Public License v3.0

    Share

    Relation algebra library for Coq

    Creator

    damien-pous

    Related apps