Pinned Repositories
.github
Seminar materials
aata
Public repository for Abstact Algebra Theory and Applications
aata-pt
aata-spanish
traducción al español de libro de algebra abstracta y aplicaciones de Thomas Judson
complex
complex
ementas
HowTo-Deploy-LaTeX-Documents
Deploy LaTeX (and Markdown) Documents as PDF (and DjVu) via GitHub and TravisCI
latex-action
:octocat: GitHub Action to compile LaTeX documents
mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
torelli
Combinatorial non-abelian Torelli theorem
sergunchik's Repositories
sergunchik/ementas
sergunchik/aata-pt
sergunchik/aata
Public repository for Abstact Algebra Theory and Applications
sergunchik/aata-spanish
traducción al español de libro de algebra abstracta y aplicaciones de Thomas Judson
sergunchik/complex
complex
sergunchik/HowTo-Deploy-LaTeX-Documents
Deploy LaTeX (and Markdown) Documents as PDF (and DjVu) via GitHub and TravisCI
sergunchik/latex-action
:octocat: GitHub Action to compile LaTeX documents
sergunchik/mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
sergunchik/torelli
Combinatorial non-abelian Torelli theorem
sergunchik/mdpaper
Writing Papers with Markdown
sergunchik/proptest
Test basati su proprietà con rapidcheck: meetup 9 Aprile 2020
sergunchik/PursuingStacks
LaTeX version of Grothendieck's Pursuing Stacks
sergunchik/qual
exames de qualificação nos alguns programas de pós do mundo, currículos matemáticos, etc
sergunchik/sergunchik.github.io
sergunchik/yulia-petrova.github.io
My personal web-page