A Lean library for Quillen K-theory and related mathematics.
Lean Updated 10 days ago 1 commits
zenith-bot|Mirror: kangxyz/quillen-k-theory (⭐0)
10 days agoAbout
A Lean library for Quillen K-theory and related mathematics.
Readme
A Lean library for Quillen K-theory and related mathematics.
A Lean library for Quillen K-theory and related mathematics.