formalization of theorems of higher algebraic K-theory
marcbezem / ktheory Goto Github PK
View Code? Open in Web Editor NEWThis project forked from dangrayson/ktheory
formalization of theorems of higher algebraic K-theory
License: GNU General Public License v2.0