DanGrayson / KtheoryLinks

formalization of theorems of higher algebraic K-theory
8Updated 11 years ago

Alternatives and similar repositories for Ktheory

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

Sorting: