Ktheory
formalization of theorems of higher algebraic K-theory
Install / Use
/learn @DanGrayson/KtheoryREADME
Ktheory
The files on formalization of theorems of higher algebraic K-theory that used to be here are now in UniMath.
formalization of theorems of higher algebraic K-theory
/learn @DanGrayson/KtheoryThe files on formalization of theorems of higher algebraic K-theory that used to be here are now in UniMath.
