msp-strath / ask

being a particular fragment of Haskell, extended to a proof system
30Updated 2 weeks ago

Alternatives and similar repositories for ask:

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