HigherOrderCO / KindLinks

A modern proof language
3,692Updated 6 months ago

Alternatives and similar repositories for Kind

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

Sorting: