About George Kadantsev

A math major interested interested in (infinity-)category theory, group theory and formalization of mathematics in univalent foundations

Lists

Timeline

goerge has no activity yet