guillaumebrunerie / JamesConstructionLinks

Formalization of the James construction in Agda
11Updated 8 years ago

Alternatives and similar repositories for JamesConstruction

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

Sorting: