standardml / twelf

The Twelf Programming Language
122Updated 2 months ago

Alternatives and similar repositories for twelf:

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