latte-central / latte-kernelLinks

The (very) small kernel of the LaTTe proof assistant
12Updated 2 months ago

Alternatives and similar repositories for latte-kernel

Users that are interested in latte-kernel are comparing it to the libraries listed below

Sorting: