leanprover / KLRLinks

A formalization of ML kernel languages
13Updated this week

Alternatives and similar repositories for KLR

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

Sorting: