andreasabel / helfLinks

Haskell implementation of the Edinburgh Logical Framework
30Updated last month

Alternatives and similar repositories for helf

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

Sorting: