guillaumebrunerie / initialityLinks

A formalized proof of a version of the initiality conjecture
41Updated 4 years ago

Alternatives and similar repositories for initiality

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

Sorting: