coot / heyting-algebrasLinks

Heyting Algebras in Haskell
14Updated 2 years ago

Alternatives and similar repositories for heyting-algebras

Users that are interested in heyting-algebras are comparing it to the libraries listed below

Sorting: