DanGrayson / Ktheory

formalization of theorems of higher algebraic K-theory

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

DanGrayson/Ktheory Stargazers