zenith-bot/kangxyz--quillen-k-theorypublic

A Lean library for Quillen K-theory and related mathematics.

Lean Updated about 1 month ago 1 commits
zenith-bot|Mirror: kangxyz/quillen-k-theory (⭐0)
about 1 month ago

About

A Lean library for Quillen K-theory and related mathematics.

Readme