DanGrayson / Ktheory

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

Alternatives and similar repositories for Ktheory:

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