acharal / hopesLinks

Higher Order Prolog with Extensional Semantics
53Updated 4 years ago

Alternatives and similar repositories for hopes

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

Sorting: