effectfully / STLCLinks

Dependently typed Algorithm M and friends
25Updated 7 years ago

Alternatives and similar repositories for STLC

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

Sorting: