Sergey Sinchuk's repositories
a1inv-k2
A paper on A1-invariance of unstable K2 groups
Language:TeX000
000
cgt
Attempt of formalization of some elementary facts about groups defined by generators and relations
Language:Coq000
decomp_paper
A paper on subsystem factorizations of exceptional groups
Language:Java000
intellij-community
IntelliJ IDEA Community Edition
Apache-2.0000
LGK2Chevalley
A paper on Tulenbaev maps and local-global principles
Language:TeX000
relativeparabolic
Paper on relative parabolic factorizations
Language:TeX000
Language:TeX000
tutorial-code
Source code & exercises in Arend's documentation
Apache-2.0000