plum-umd / cgcLinks

Constructive Galois connections
34Updated 7 years ago

Alternatives and similar repositories for cgc

Users that are interested in cgc are comparing it to the libraries listed below

Sorting: